[AdieuToLogic]

That is too cool, thanks again for sharing your exploration.

I suppose the only question remaining is if peanut M&Ms are higher-kinded when contrasted with the chocolate-only nullary type.

:-D