module ShouldCompile where

data T a b = (:^:) a b