>>> even (4 :: Unsigned 4) True
>>> isRight (refine @Even @Int 32) True
>>> isLeft (refine @Even @Int 33) True
even