Candidates for function-instances-algebra

No candidates exist for function-instances-algebra. Upload one for this or another package?