gtraverse: remove implicit param constraints from the functional argument