Monads Need Not Be Endofunctors.

Thorsten Altenkirch, James Chapman, Tarmo Uustalu

Browse the full FOSSACS paper archive.