packages feed

haskell-src-exts-1.24.0: tests/examples/RoleAnnotations2.hs

{-# LANGUAGE RoleAnnotations #-}

data Foo a = Foo a
type role Foo representational

main = print $ foo 1

foo :: Int -> Int
foo role = 42