Candidates for deriving-via-fun

No candidates exist for deriving-via-fun. Upload one for this or another package?