@hackage / typecheck-plugin-nat-simple

Simple type check plugin which calculate addition, subtraction and less-or-equal-than