4 results
Semigroupoids: Category sans id
Comonads
Core data structures and operations
Haskell 98 phantom types to avoid unsafely passing dummy arguments