path: root/testsuite/tests/roles/should_compile/Roles14.hs

{-# LANGUAGE RoleAnnotations, IncoherentInstances #-}

module Roles12 where

type role C2 representational
class C2 a where
  meth2 :: a -> a