-record(function_type, {
    paramters :: list(glance:type()),
    return :: glance:type()
}).