Changing the `Binary` instance for `Double` and `Float`

I am very interested in a pattern I believe to be related i.e. describing encoding in types. I have a library binrep that supports doing this in a composable manner e.g. a NullTerminated ByteString will encode like a C-string, and that is explicit in the type. I’d be very keen to support any efforts like this.