extension functions are one mechanism for storing ...

# arrow

[jacob]

extension functions are one mechanism for storing the functions, but it's much more about the codegen that generates the type Kind<F, A>