Default implementation

Main.hs

class Bytes a where
  toBytes :: a -> List UInt8
  width :: Int
  addWithCarry :: a -> a -> (Tuple Boolean a)
  default addWithCarry a b = case (addLists (toBytes a) (toBytes b)) of
                       (Cons 0 sum) -> (Tuple false a)
                       (Cons 1 sum) -> (Tuple true a)
                       otherwise -> error