The names of the product elements
The name of the type
Recycler that always yields false.
false
Recycler that always yields true.
true
Recycler is a contravariant functor.
Recycler forms a monoid with "andAlso" logic, if F is a monad.
F