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

Alright, I managed to circumvent this problem by adding more type classes with functional dependencies. Problematic version, for reference: https://gist.github.com/kindaro/6056f753bcf356ced96b817fee72533c/335e4399f50... Current version: https://gist.github.com/kindaro/6056f753bcf356ced96b817fee72533c/b556f85589a... ```Haskell fmapz :: 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!