Feldspar.Core.Constructs.ConditionM

data ConditionM m a