Language.SystemF.TypeCheck

type UniqueSupply n

type Context n t

typecheck

tcVar

tcAbs

tcApp

tcTyAbs

tcTyApp

unique

sub

subTy

tyMismatchMsg