> On Jul 5, 2017, at 5:23 PM, Wolfgang Jeltsch wrote:
>
> Hi!
>
> The base package contains the module Data.Type.Equality, which contains
> the type (:~:) for homogeneous equality. I was a bit surprised that
> there is no type for heterogeneous equality there. Is there su
Hi!
The base package contains the module Data.Type.Equality, which contains
the type (:~:) for homogeneous equality. I was a bit surprised that
there is no type for heterogeneous equality there. Is there such a type
somewhere else in the standard library?
I tried to define a type for
