正则表达式 – haskell中的原始但有效的grep克隆？

受到code on the haskell wiki的启发,我想出了以下天真的尝试：

{-# LANGUAGE FlexibleContexts,ExistentialQuantification #-}

import Text.Regex.PCRE
import System.Environment

io :: ([String] -> [String]) -> IO ()
io f = interact (unlines . f . lines)

regexBool :: forall r l .
  (RegexMaker Regex CompOption ExecOption r,RegexLike Regex l) =>
  r -> l -> Bool
regexBool r l = l =~ r :: Bool

grep :: forall r l .
  (RegexMaker Regex CompOption ExecOption r,RegexLike Regex l) =>
  r -> [l] -> [l]
grep r = filter (regexBool r)

main :: IO ()
main = do
  argv <- getArgs
  io $grep $argv !! 0

这似乎正在做我想要的,但不幸的是,它真的很慢 – 比做同样事情的python脚本慢大约10倍.我认为这不是regex库在这里有问题,因为它调用PCRE应该足够快(切换到Text.Regex.Posix会使事情进一步减慢).所以它必须是String实现,从理论的角度来看是有启发性的,但根据我所读的内容效率低下.

haskell中的字符串是否有替代方法既高效又方便(即切换到使用它而不是字符串时几乎没有摩擦)并且完全正确地处理UTF-8编码的Unicode,以及其他编码没有太多麻烦,如果可能的话？在haskell中进行文本处理时每个人都使用的东西,但我只是不知道因为我是一个完全的初学者？