1{-# LANGUAGE RoleAnnotations #-} 2 3data Foo a = Foo a 4type role Foo representational 5 6main = print $ foo 1 7 8foo :: Int -> Int 9foo role = 42 10