name
Lambda
Var
Id
TyBuiltin
TyVar
NameNeedValueUsage
example
Naturals
TypelevelUsage
NewTypeUsage
example
nextFib
FibStateExample
Num
TypeCheckerWithExplicitTypesAST
numT
TypeCheckerWithExplicitTypesAST