{-# LANGUAGE TypeOperators #-}
module DataHeadParen where

data (a1 :< a2)  = Foo