Simple functor combinators, their derivatives, and their use for tries Maybe split out derivatives and/or tries later.