module Main (main) where

data T = T
       deriving Eq