When using -XOverloadedStrings you can implement IsString which only requires a function fromString. Now if you want to use string literals for pattern matching, you also have to implement Eq, whic...

I've got a test suite for a refactoring exercise where I'd like it to be compatible with both Data.List and Data.List.NonEmpty. The exercise consists of a function foo :: [Foo] -> Foo and the te...