idris-lang/Idris-dev — pull request #1794 by japesinator (2014-12-15 16:59:07+00:00)
Title: added default definitions for second, ***, &&&

second, ***, and &&& can be defined by arrow and first. It still makes sense to allow other definitions, but it's also possible to make an instance of Arrow with just those two functions