Monads Need Not Be Endofunctors

by Thorsten Altenkirch , James Chapman , Tarmo Uustalu
Citations:16 - 5 self