Feldspar.Core.Frontend.ConditionM
ifM