BijectionLike, InvertableCon

ReversableConstructor

InvertableLike

Dualable

DualLike

DuelFoil -- I kid

basically something about how patternSynonyms and normal type constructors have this "bjiective" (ish?) quality

On Fri, Feb 14, 2014 at 11:10 PM, Dr. ÉRDI Gergő <gergo@erdi.hu> wrote:

Can we force some more elements of that lazy stream?

On Feb 15, 2014 12:09 PM, "Carter Schonwald" <carter.schonwald@gmail.com> wrote:
ConstructorAble ? (I'm happy to come up with a whole list of candidates). :-)

On Friday, February 14, 2014, Dr. ERDI Gergo <gergo@erdi.hu> wrote:

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.