[Haskell-cafe] persistent in types