Feldspar.Core.Constructs.Eq
data
EQ
a