Sebastian Ullrich 8fce7a342d chore(init/category/monad_fail): remove monad superclass for consistency with other monad classes ... Also remove misleading TODO		2018-03-20 14:58:37 -07:00
..
parser.lean	chore(init/category/monad_fail): remove monad superclass for consistency with other monad classes	2018-03-20 14:58:37 -07:00