{-# LANGUAGE RoleAnnotations #-}

data Foo a = Foo a

type role Foo representational
main = print $ foo 1

foo :: Int -> Int
foo role = 42