functor
(
TC
:
TYPECHECKER
)
->
sig
end