supersedes onInfer by the fundep materialization technique
Merge pull request #202 from xeno-by/master

supersedes onInfer by the fundep materialization technique