Monads in LFE