Type error: Unhandled error: IfBranchMustBeTerm(true, Type)