Explicit newtype coercion lifting in Haskell