../ Internal/Now fully optimal types traversal9 years ago Product/Remove 'confusing' as it kills performance for large types (I don't yet know why)9 years ago Sum/Add non-type-changing variant of optics (fixes #40)9 years ago Labels.hsBump 0.5.1.09 years ago Product.hsRemove Peano from Changing (Nat is fine)9 years ago Sum.hsMake type errors better (#20)9 years ago