Just look at how much Haskell you can write without thinking about how Functor is covariant, or that Contravariant even exists.
Not that my sample size is significant at all. I know about 4 and a half Cat theorists at most if you exclude the internet ones... haha
Just look at how much Haskell you can write without thinking about how Functor is covariant, or that Contravariant even exists.