either

Either isn’t simply a union of types; it’s a tagged union, which means every value has to explicitly specify which “side” of the type the wrapped value occurs on. Here’s an example, (with a Show instance derived for your Card type): *Main> Card Hearts Jack <interactive>:3:13: error: • Couldn’t match type ‘Court’ with ‘Either Pip … Read more