Find argument by unification

Stream: Is there code for X?

[Aaron Liu]

Sometimes I just want to find an argument by unification, instead of invoking typeclass synthesis. Is there an easy way to do this, without having to spell out the argument manually?

[Adam Topaz]

Can you give an example where you want to do something like this?

[Aaron Liu]

I don't have one right now but I can fabricate one

[Robin Arnez]

Usually I use (_) then (since _ causes instance synthesis)

[Aaron Liu]

oh does that work?

[Aaron Liu]

I will try it then next time I need this

[Bryan Gin-ge Chen]

This would be good to document somewhere since it's not obvious that there will be a difference between _ and (_)!