idris-lang/Idris-dev — pull request #1429 by fread2281 (2014-07-25 00:12:17+00:00)
Title: Split out typeclasses into identity-less versions

Fixes #1351