It’s kind of a thing

Posts from July, 2017

  1. Arrow is more than Strong and Category

    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)