Haskell Typeclass for non-transative equality Understanding Haskell Typeclass for Non Transitive Equality In Haskell equality is usually defined in a transitive manner meaning if A equals B and B equals C t 2 min read 16-09-2024 25