Hacker News Reader

Can Haskell enforce a type of “any integer other than zero”?

I feel like you would just end up with the equivalent of Maybe, but not sure.

With https://ucsd-progsys.github.io/liquidhaskell/, but as a separate checker. I think there are talks of integrating it into the compiler