Moving Monads to an experimental branch