Removed obsolete with-monad forms.