Builds for haskell-type-equality

Latest: 1-4