how to declare a value has Functor type? like x ::...
# arrow
i
how to declare a value has Functor type? like x :: f a