Feldspar.Core.Constructs.Logic

data Logic a