{-# LANGUAGE MultiParamTypeClasses,
             TypeOperators
             #-}

module Definitions where

class C1 a where
  f1 :: a -> Bool

class C2 a b where
  f2 :: a -> b -> Bool

class a :?: b where
  h :: a -> b -> Bool

class a :!: b where
  j :: a -> b -> Bool


data T4 a b c d = T4 a b c d
data T3 a b c = T3 a b c
data T2 a b = T2 a b
data T1 a = T1 a
data T0 = T0

data a :+: b = Plus a b
data (a :++: b) c = PPlus a b c
data a :-: b = Minus a b