Language.Syntactic.TypeRep

mkVarSym

mkLamSym

injTR

smartSymTR

sugarSymTR

defaultInterfaceTypeRep