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