Currently,
class Functor f => Semialign f
class Semialign f => Zip f
class Zip f => Unzip f
But this makes no sense! Every Functor can unzipWith (perhaps badly), but not every Functor can zipWith. I would recommend doing something like this instead:
class Functor f => Unzip f
class Unzip f => Semialign f
class Semialign f => Zip f
Currently,
But this makes no sense! Every
FunctorcanunzipWith(perhaps badly), but not everyFunctorcanzipWith. I would recommend doing something like this instead: