{-# LANGUAGE TypeOperators #-}

module T4239A where

data (:+++) = (:+++)
            | (:---)
            | X
            | Y

(·) = undefined