1. Use GHCi to check types and ideas. 2. Write your own monads. How about a monad for (->) e? (It already exists, but so what?)

That's at least the strategy that works best for me.