Solutions from cp2
typeclassopedia functor ex