Adding a broken defprod example that uses dependent types for discussion and teaching.