Functor-Applicative-Monad_proposal_(AMP)