Lennart Spitzner

judging from https://github.com/haskell/cabal/issues/3659, I think the answer to "Does new-repl support loading multiple reloadable packages at once now?" is no.

So.. - https://hackage.haskell.org/package/rank2classes-1.3.1.2/docs/Rank2.html#t:Functor - https://hackage.haskell.org/package/parameterized-utils-2.0/docs/Data-Parameterized-TraversableF.html#t:FunctorF - https://hackage.haskell.org/package/czipwith-1.0.1.2/docs/Data-CZipWith.html#t:CFunctor - https://hackage.haskell.org/package/barbies-2.0.0.0/docs/Data-Functor-Barbie.html#t:FunctorB all licensed under BSD (2/3 clause). I am to blame for the third in that list. rank2classes came first, but for...

Wait, would that work _without_ unsaturated TFs? Or are you talking about how to best make use of them? I don't see yet where `MyWear` gets applied, or how this...

`GBare` will need to rely on `Coercible a (g a)` there, I guess. Same as the implementation for `Last` I mentioned above, only over any suitable `g`.

Thanks for the quick feedback!

That's a good idea. I assume you mean ~~~~.hs type family Wear t f a where Wear Bare (Sticky f g) a = a Wear Bare f a = a...

It does not work out of the box, and I now doubt that it could. Consider the type of ~~~~.hs bmap :: forall b f g . FunctorB b =>...

I haven't checked, but I think with the `Coercible` instance in `barbies` code, the `WearTwo` family could be defined externally without a problem. Assuming `Param` is exposed (?). But then...

> I haven't checked, but I think with the Coercible instance in barbies code, the WearTwo family could be defined externally without a problem. Yep, I have confirmed that it...

See #30 (which _does_ include the `WearTwo` family for good measure.)