Removed fragment from head of problem summary.
Added monad definitions.