Adaptive and efficient bitvector representation using TypeFamilies and so