[Agda] unstable composition checking

[Nils Anders Danielsson]

On 2017-06-16 20:58, Sergei Meshveliani wrote:
> What might it mean this cost hole for  (just ∘ oppose) ?

I'm guessing that "just" is overloaded, and that Agda has trouble
inferring the implicit arguments of _∘_. What happens if you write
"Maybe.just" instead?

-- 
/NAD