Functor is for (a -> b) -&g...

How is `arr fst` a natural tra...

Why do Static Arrows generalis...

Why is ArrowApply an only opti...

Why does mutual yielding make ...

Arrowizing the Store comonad...

What's the relationship be...

Is (\f -> fmap f id) always...

Control.Category, what does &g...

Arrow without arr...

Arrows are exactly equivalent ...

Difference between initial and...

A monad is just a monoid in th...

Is there a non-identity monad ...

How to define free monads and ...

How can I implement a Functor ...

Don't understand notation ...

Is this property of a functor ...

Products and coproducts in pos...

Bifunctors in Haskell vs in ca...

Forgetting Cofree annotations ...

What are free monads?...

cats effect evaluates only the...

Is Last a free monoid?...

Why are monad transformers dif...

Deriving a monad from a cofree...

How do I prove two application...

Can one simplify the Codensity...

In Scala cats-laws, why is the...

Why doesn't Haskell's ...