Archived tweet #10585 from the @leastfixedpoint Twitter Archive

@BowToChris @maxsnew What happens if you put foralls in front? Then parametricity forces you to reuse "the" P, giving roughly ((1->2)->(2->2))=16 again, perhaps?