{-# LANGUAGE TypeOperators #-}

module Definitions where

data (:+:) a b = Plus a b