Adding ala Haskell property checkers for Ben to smile