Traits

A functor with application, providing operations to