On Thu, 13 Feb 2014, Carter Schonwald wrote: > Caseable? PatternLike? The reason I went with ConLike originally (apart from not noticing the clash) was that (bidirectional) pattern synonyms can also be used in expressions, so they behave like constructors in both contexts.