What if Haskell had (co)-equalizers?adding equalizers and coequalizers to a cartesian closed category amounts to enriching the corresponding type system with refinement types and quotient types respectively.#haskell#category-theory#phil-freeman·blog.functorial.com·Dec 12, 2019What if Haskell had (co)-equalizers?
