Started work on Monad and MonadPlus registries