| The first problem is that the "match" function is considered in the first place. It's too general. It should only be used in higher order constructs where its flexibility is actually needed. Second: The enum based refractor is actually valuable and fine IMO. If you need string functions, stop there. Now, shipping control flow as a library is a cool feature of Haskell. But, if those arguments are turned into functions, the match function itself isn't needed! It just applies the first argument to arguments 3 and 4, then passes them to the second argument. match :: (a -> b) -> (b -> b -> Bool) -> a -> b
match case sub needle haystack = sub (case needle) (case haystack) Does that even need to be a function? Perhaps. But if so, it's typed in a and b and functions thereof, and no longer a "string" function at all. And, honestly, why are you writing that function? Typing it out where you need it is typically less mental impact, because I don't need to worry about the implementation of a fifth symbol named "match." sub (case needle) (case haystack) |