implementation module B

import main

:: T | E

B :: T
B = E

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