Candidates for hindley-milner

No candidates exist for hindley-milner. Upload one for this or another package?