on 3fddfc5 help sign in
3 folders, 2 files
../ Internal/Optimise 'field' lens with Coyoneda Product/Optimise positional lens and use ghc-proofs for testing Sum/Separate internals Product.hsAdd a top-level Data.Generics.Sum module. Sum.hsSeparate internals