idris-lang/Idris-dev — pull request #715 by Melvar (2013-12-10 15:40:25+00:00)
Title: Remove superfluous function

`maybeToList` is merely an instance of `toList`.