Pos -> Nat # Int -> Bool
