Monad and Dyad stuff.