Document DFMonad