consider dropping some sweetness of the sugar

[rkuhn]

In principle call could go away, in my experiments I could just say p.$call(...) to make things work, and that also has no trouble being nested inside a coroutine.

See this example for a possible other reason: sometimes types don’t unify as expected.