On: Implement with types, not your brain (2019)

[zem]

no, that's a function from `named -> named`. `a -> a` is a function that takes any object, calls its type `a`, and returns an object of the same type.