# MultiApp
Preliminary attempt to create Functor/Applicative/Monad analogues with an extra type parameter governed by a type family, to enforce ordering constraints between applicative and/or monadic actions.