Icelandjack

Generic instances of `NFData` and `NFData1`, and documentation. ```haskell instance (Generic a, GNFData Zero (Rep a)) => NFData (Generically a) where rnf :: Generically a -> () rnf (Generically a)...

Allow overriding the names of type constructors, inspired by this [reddit post](https://www.reddit.com/r/haskell/comments/wd7oqx/monthly_hask_anything_august_2022/iik10ci/) > Is there an easy way to "tag" a sum type with some additional metadata, e.g. a textual...

```haskell type Override1 :: (k -> Type) -> [Type] -> (k -> Type) newtype Override1 f xs a = Override1 { unOverride1 :: f a } ```

Soon `Generically` and `Generically1` will be added to base 4.17, I notice that you implement generic instances for `Override` that duplicates the intended use of `Generically`. It is possible to...

# Description Add Handle Registry feature to the `TracerEnv`, to track handles that have been opened. ```haskell -- Cardano.Tracer.Types type Registry :: Type -> Type -> Type newtype Registry a...

Binary instance for Generically.

1

* Adds a `Binary (Generically a)` instance. * Updates the documentation.

Generically instance

1

Reminder to add an instance for `Generically` (base 4.17) by copying the default definitions ```haskell instance (Generic a, GBinaryPut (Rep a), GBinaryGet (Rep a)) => Binary (Generically a) where put...

Combine Full/:-> as their own datatype

18

I haven't seen these used at the value level at all: ``` newtype Full a = Full { result :: a } newtype a :-> b = Partial (a ->...

Quantified constraints for Show

3

You can create a show instance for `AST sym sig`, if you if you say that `forall sig. Show (sym sig)`. That can be achieved by [`Show1`](http://code.haskell.org/~ross/transformers/dist/doc/html/transformers/Data-Functor-Classes.html#t:Show1) or [`ForallF Show`](https://hackage.haskell.org/package/constraints-0.8/docs/Data-Constraint-Forall.html#t:ForallF):...