definition module B

import main

B :: T
isB :: T -> Bool