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