endgame

To those who are saying they value `Default` instances for `Int`, `String`, etc: would `mempty` be a more principled substitute? If I want to "default" something, it's usually because I...

I stand by my suggestion of `paMdolf`, but I think that in the age of `-XBlockArguments` (GHC >=8.6.1) the need for a distinct function is much lower: `Just 3 &...

These relaxed version bounds would be very useful to me, as nix can't jailbreak bounds inside conditionals. Could this be merged and shipped, or could we get a hackage revision?

CI breakage doesn't look like my fault, at a glance.

Also the text is currently incoherent. I'll need to fix that before merge.

Okay, I think that reads better.

What needs to happen to get this merged?

I should add that while I can probably do the wrapping and unwrapping necessary with the `Unsafe.Linear.coerce` function and it's possibly reasonable to hide that behind an abstraction boundary, it's...

I'm testing with the following `flake.nix`: ```nix { description = "Building aws-c-cal"; inputs = { haskell-nix = { url = "github:input-output-hk/haskell.nix"; inputs.nixpkgs.follows = "nixpkgs"; }; nixpkgs.url = "nixpkgs"; }; outputs...

Here is a zip file containing the `flake.nix` and `flake.lock`: [test.zip](https://github.com/input-output-hk/haskell.nix/files/8998078/test.zip)