Monads Need Not Be Endofunctors (2010)

by Thorsten Altenkirch
Venue:Lecture Notes in Computer Science