1. Functor -> Mappable\

  1. Currying -> Currying\
  2. Applicative -> Applicative\
  3. Monad -> Chainable\
  4. Monoid -> Aggregatable\
  5. Catamorphism -> Collapsable