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 th

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.