Spahn Eugenio Moggi

Eugenio Moggi was the first to describe how monads can be used to structure programs.