{-# LANGUAGE TypeOperators #-}

module NormalDataDecl where

data (:-:) a b = Minus a b  {-* TypeOperators *-}