Type Check: Match With

[CodyFagley]

match ... with ... expressions need to be type checked to ensure each resulting functional expression is of the same type expression.

See the following:

match e with
     f1 -> g1
  |  f2 -> g2
  |  f3 -> g3

In other words, g1, g2, and g3 must all be of equivalent type expressions. They do not have to be the same constructor.

Update (06/15/2021): Should this be allowed to work when g1 through g3 are all constrained by the same typeclass, but not the same type?