Data.Functor.Extend
Extendable Functors
class
Extend
w