The function-schemata method utils.js:getTypedListType() generates the value of the Z1K1 of a typed list given an input type. It can generate it in canonical or in normal form. However, if the input type is in the shape of a function call, this method should use canonicalize or normalize methods to make sure that the type is in the right form.

The issue with this, is that it would mean turning a big bunch of functions into async functions, as canonicalize and normalize are async.