HomeIsabelle/Phabricator

clarified signature: just one level of arguments to avoid type-inferenceā€¦