Data.SBV.Examples.Queries.Interpolants
evenOdd