Idris 2 solves the problem by letting you define "named implementations" of interfaces: http://docs.idris-lang.org/en/latest/tutorial/interfaces.html http://doc

Idris 2 solves the problem by letting you define "named implementations" of interfaces: http://docs.idris-lang.org/en/latest/tutorial/interfaces.html http://docs.idris-lang.org/en/latest/tutorial/interfaces.htm...