Posts from July, 2017

Several people have claimed that Haskell’s Arrow class is exactly the intersection of Category and Strong, but this argument ignores the Arrow laws. I demonstrate a type which is has lawful instances of Strong and Category which cannot be made into an Arrow in a consistent way. (2017-07-18)