1{-# language TypeOperators, KindSignatures #-} 2data B = B 3data a * b = Foo 4type A = B * B 5main = print 1 6