Asad Saeeduddin

@puffnfresh Are you asking why `CFoldable` is needed instead of just using the commutative monoid with `Foldable`? The problem here is that more things are `CFoldable` than are `Foldable`. In...

@nadameu The fact that `MaybeApply` will turn any `Apply` into an `Applicative` is of about the same relevance as saying that `Maybe` will turn any semigroup into a monoid. It...

Btw, there's a better way to use `MaybeApply` than to mash it into `Obj`. Here's a snippet from a few months ago that illustrates how you can compositionally combine `MaybeApply`...

I've been using plain values for `empty` in [this](https://github.com/masaeedu/fp/blob/bc5ac8253a66c4c7561668acce629c1672165a9a/src/instances/arr/index.js#L24) semi-static land compatible library and it works out pretty well, especially when destructuring monoid instances for use in other things.

@DylanRJohnston The "profunctor" in "profunctor optics" is essentially a reference to the fact that there is a particular way to encode optics as transformers of arbitrary types that support an...

@DylanRJohnston For the Haskell definition you gave: ``` type Lens ta tb a b = forall p. Strong p => p a b -> p ta tb ``` You can...

The type `Lens_` does not support an instance of `Profunctor` (although it's probably a profunctor between a different set of categories), if that's what you're trying to figure out. The...

Hi @andreasabel. Interesting, does the reimplementation significantly depart from or augment the LBNF language as specified in the docs? I was thinking about this a bit more today and realized...

`zip` and `_∪_` respectively have the following units, but doesn't seem to be much of a use for exporting these given that they're very thin aliases for stuff that's already...

Doii, should have looked around more. Thanks