-record(function_type, {
    parameters :: list(gwr@syntax@types:value_type()),
    results :: list(gwr@syntax@types:value_type())
}).