Haskell definition of type equality, coercion/cast and other operations. - View it on GitHub