Data.Bitstream.Generic: {b↦finiteB}itSize; requires base>=4.7