On Sat, 8 Nov 2014, Richard Eisenberg wrote: > I should also note that I intended the `forall`s to be optional. Of course, the forall binders are optional in all proposals.