Not in a language with decent abstraction capabilities. You end up changing code from looking like:

    myThing :: Foo -> ProblemDomain Bar
    myThing f = do
        x <- subthing1 f
        y <- subthing2 x 23
        return $ g y

to looking like

    myThing :: Foo -> ProblemDomain Bar
    myThing f = do
        x <- subthing1 f
        y <- subthing2 x 23
        return $ g y

There's no difference, don't spend too much time looking for one.

The underlying representations of the type change. How you interact with the type does not. There's no mental overhead. There is a small bit of added run time cost. You pay somewhere for adding the ability to interact with the type in additional ways, but not by breaking any existing code.