Во многих статьях о Haskell говорится, что он позволяет выполнять некоторые проверки во время компиляции, а не во время выполнения. Итак, я хочу реализовать простейшую из возможных проверок - разрешить вызов функции только для целых чисел, больших нуля. Как мне это сделать?