a79dcb2c

By: Tom Sydney Kerckhove <syd@cs-syd.eu>

Pin what the rule says at a library boundary

A prose failure a library fixed is not one the module chose, and the rule reads
the types we write. An instance method writes none, so fromPersistValue and
mimeUnrender are silent, and so is the lambda handed to bimapCodec. Tried out
over nix-ci8, smos and salsa, that is where most of the Left "..." in those
repositories lives, and it went unreported.

Silence that falls out of what the rule cannot see is the kind that stops being
true by accident, so good.hs holds both shapes and says which half would be
ours: a lambda named and given a signature is a type we chose, and is reported.