Icelandjack
Icelandjack
I wanted to test different monoid instances for `MSF`, I tried [`Ap`](https://hackage.haskell.org/package/base-4.12.0.0/docs/src/Data.Monoid.html#Ap) but only the first one worked because `MSF` is defined as a `data` not a `newtype`. Making it...
The generic `Rep` definition is too robotic, if I derive `Representable Count` I most likely don't want to index by `Rep Count = Either () (Either () ())` but by...
Does this instance exist anywhere? `F l r a b` is `Kleisli r a b` with a phantom `l` argument. It was inspired by the ["In terms of representable functors"](https://ncatlab.org/nlab/show/adjoint+functor#InTermsOfRepresentableFunctors)...
For future reference, once we have `Bicomonad` ```haskell class Bifunctor bi => Bicomonad bi where fst :: bi a b -> a snd :: bi a b -> b bidup...
```haskell class (Representable f, Rep f ~ rep) => RepresentableOf rep f instance (Representable f, Rep f ~ rep) => RepresentableOf rep f ``` letting us write ```haskell duplicateRepBy ::...
Is there a home for this class + associated data family? A common [example](https://jeltsch.wordpress.com/2013/02/09/some-interesting-features-of-haskells-type-system/) of data families ```haskell class Key key where data TotalMap key :: * -> * lookup...
Adds ```haskell instance (Biapplicative p, Monoid a) => Applicative (Flip p a) where pure a = Flip (bipure a mempty) Flip f Flip x = Flip (biliftA2 ($) mappend f...
Bicayley
Does this belong anywhere? Just as we have [`Cayley`](https://hackage.haskell.org/package/profunctors-5.2.1/docs/Data-Profunctor-Cayley.html#t:Cayley) ```haskell newtype Cayley f p a b = Cayley (f (p a b)) instance (Applicative f, Category p) => Category (Cayley...
I forgot if I've brought this up before, should this instance exist? ```haskell instance (Applicative f, Biapplicative bi, Monoid a) => Applicative (Tannen f bi a) where pure :: b...
```haskell instance Category cat => Semigroup (Join cat a) where Join f Join g = Join (f . g) instance Category cat => Monoid (Join cat a) where mempty =...