For the record, Data.Dynamic has a type called Dynamic which can be used to weaken typing. It's not a monad, though - it only implements Show and Typeable (and recently Exception, apparently).

http://hackage.haskell.org/package/base-4.6.0.1/docs/Data-Dy...