Add safe haskell markings

Add Trustworthy to MonadLib, as it imports ST, but only uses its Monad instance, and Safe to everything else.