Could we have an instance of `Monoid` for `BitPut ()`?
Could we have an instance of
MonoidforBitPut ()?