Add more examples of type classes and regular expressions