Their explanation is reductive, but it looks like more than that. For example, in the standard library [0] the definition of the Map type is a function of other

Their explanation is reductive, but it looks like more than that. For example, in the standard library [0] the definition of the Map type is a function of other types. [0]: https://github.com/yatima-inc/introit/blob/main/Map.ya#L10 https://github.com/yatima-inc/introit/blob/main/Map.ya#L10