[Haskell-cafe] Hiding type variables from the signature?

Ignat Insarov kindaro at gmail.com
Tue May 31 10:06:41 UTC 2022

Alright, I managed to circumvent this problem by adding more type classes with
functional dependencies.

Problematic version, for reference:

Current version:

  :: forall peels seed seed'.
  Functors seed seed' peels
  => (seed -> seed') -> Dress seed peels -> Dress seed' peels
fmapz function = stretch . fmap @(Squeezed peels) function . squeeze

— Much more better!

More information about the Haskell-Cafe mailing list