Fix the docs
Remove implicit param constraints from the functional arguments