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.