Showing that `newtype T a = T (a -> Int)` is a Type Constructor that is Not a Functor...

What are the situations when you can/cannot have a Functor instances for a datatype?...

Does a functor always return a lifted type in haskell when the fmap transformation is applied?...

What is exactly an indexed functor in Haskell and what are its usages?...

Reader monad - how does it conform to Monad interface?...

Are `join` and `fmap join` equals in Haskell (from Category theory point of view)?...

Are all Monad instances in Haskell just different ways for mapping from Hask to Hask?...

Set of transformations f::a->a form a monoid over function composition - how do I make this an in...

Where does the name "section" come from for a partially applied infix operator?...

LYHFGG: "Monads are just applicative functors that support >>=". In what sense is th...

Why is `pure` only required for Applicative and not already for Functor?...

Parameterised Class vs Function...

Applicative instance for sets (nested lists)...

What is the general case of QuickCheck's promote function?...

In what way is Scala's Option fold a catamorphism?...

What is an generalized way to compose these 3 types of functions for conditional branching?...

Is this an accurate example of a Haskell Pullback?...

Natural Transformations From Reader Bool To Maybe...

Inverse of the absurd function...

Where are the bind and identity functions on the Nullable<T> monad?...

Is the concept of an "interleaved homomorphism" a real thing?...

Functors in Java...

How do the operators `>>>` and `>>=` work in Haskell?...

What is a purpose of Zap Functor and zap function in Haskell?...

What is the canonical name for the identity type?...

Clojure cats append nil behaviour...

What does a "monadic structure" and "element of a structure" precisely mean in t...

Free monad and the free operation...

Is it possible to prove the existence of the category of categories (with functors as morphisms) in ...

Where do values fit in Category of Hask?...