ah I get it – there's no canonical way of defining a product of Maybes. you have choose one (First or Last).