hub.darcs.net :: jeltsch -> type-equality-check -> files

Type equality check (https://hackage.haskell.org/package/type-equality-check)