Comment explaining use of seq in DFMonad