>>> :kind! Succ Bin5 Succ Bin5 :: Bin = 'BP ('B0 ('B1 'BE))
Succ :: Bin -> Bin Succ' :: Bin -> BinP Succ'' :: BinP -> Bin