Hoed-0.3.6: examples/filter__with_properties/Main.hs

import Even

main = doit