1/1: Building Filter (Filter.idr)
Main> (3 ** [2, 4, 6])
Main> Bye for now!
