Func
Func : Dict
Function represents the signature of a computation with
zero or more parameter types and one return type. The returns
slot specifies the return type, and all other slots specify
the parameters.
Return type of the function
Obj?
Return type of the function