credit card number validator ReaderPractice equiv Niet Invert a monotonic function Modular arithmetic with propagating type-checked modulus Factors of a number, prime numbers project euler 10, haskell suffix trie My "tying the knot"