equals package:haskell-src-exts

type equality predicate enabled by ConstraintKinds