Add Product inference wart

Fixes part of #12