There is an operator to check if one number is divisible by another.

    subset Even of Int where * %% 2;

You also don't have to write the where clause as a lambda.

    subset Even of Int Where $_ %% 2;