Something like ```purescript unwrapF :: forall f a b. (Functor f, Newtype a b) => f a -> f b unwrapF = unsafeCoerce ```