The poors man continuation monad and free monad papers both in Haskell, led me to consider how amazing the function join :: m (m a) -> m an implies you never leave the monad. Always one layer left! And how that represents effects. Uau!