Pattern synonyms
Views: a way for pattern matching to cohabit with data abstraction