first published version of "concrete monads 1"