Comonad transformers that require Haskell extensions