module Data.Bits where



class Data.Eq.Eq a => Bits a where
class Bits b => FiniteBits b where