1 2 3 4 5 6 7 8 9 10 11 12 13
{-# LANGUAGE RoleAnnotations #-} module Roles4 where type role C1 nominal class C1 a where meth1 :: a -> a type Syn1 a = [a] class C3 a where meth3 :: a -> Syn1 a