[Agda] A problem with instance arguments and function application.

[Nils Anders Danielsson]

On 2015-04-02 17:23, effectfully wrote:
> I'm using Agda 2.4.2.2. The code:
> https://github.com/effectfully/random-stuff/blob/master/stuff/liftA.agda

The code is accepted by the version of Agda that you can (currently)
find on branch maint-2.4.2.

-- 
/NAD