Right that makes sense, does Arrow have a contrava...
# arrow
s
Right that makes sense, does Arrow have a contravariant functor typeclass?