implementation module C

import main

:: T | E

C :: T
C = E

isC :: T -> Bool
isC E = True
isC _ = False