haskell Generator and shrink functions for testing Unicode-related software. bos/quickcheck-unicode