Why is LiftIO the way it is?

[David Feuer]

Currently,

data Trace = ...
  | forall a. LiftIO (IO a) (a -> Trace)

Why not just

  | LiftIO (IO Trace)

Does that cause some sort of trouble?