definition module C

import main

C :: T
isC :: T -> Bool