www.youtube.com class position terminology intuition application Functor positive covariant full of a's applicative alternative Contravariant negative contravariant consuming a's divisible decidable discrimination Produnctor left negative …