@article{alti:fossacs10,
  author =	 {Thorsten Altenkirch and James Chapman and Tarmo Uustalu},
  title =	 {Monads Need Not Be Endofunctors},
  journal={Foundations of Software Science and Computational Structures},
  pages={297--311},
  year={2010},
  publisher={Springer}
}