1 2 3 4 5 6 7 8 9
{-# LANGUAGE StandaloneKindSignatures #-} {-# LANGUAGE TypeOperators #-} module T17593 where (<+>) :: Int data (<+>) type MkT :: T data T = MkT