The Explicit Syntax of Implicit Arguments | Synapse