even package:refined

A Predicate ensuring that the value is even.
>>> isRight (refine @Even @Int 32)
True
>>> isLeft (refine @Even @Int 33)
True