For example, if we want to define a Functor instan...
# arrow
m
For example, if we want to define a Functor instance for List with that encoding it would be something like:
Copy code
interface FunctorList : Functor<ForListK, Int>