1 2 3 4 5 6 7 8 9
module T17865 where data T = 'MkT data T' = ' MkT' data I a b = a ':> b data I' a b = a ' :>$ b