/dev-haskell/type-equality/