TypeError { type_message: IfBranchMustBeTerm(true, Type), context: TypecheckContext([]) }