Learnt monads