Add creation functors and instances of each monad