Will instance arguments [1] be in this upcoming release? I found test cases [2] and people (IRC) tell me that it's in darcs (which I don't dare touch.) - Anthony 1. http://people.cs.kuleuven.be/~dominique.devriese/agda-non-canonical-implicits/ 2. http://code.haskell.org/Agda/examples/instance-arguments/