Function signature specify if/what errors are thrown

[giann]

fun iCanFail() > !num {
    | ...
}