aaravq

import Debug.Trace -- Optional: for debugging if needed, remove in final version

data Bits = O Bits | I Bits | E deriving (Show, Eq)

-- Helper function to append two Bits sequences.
-- append xs ys concatenates xs and ys.
append :: Bits -> Bits -> Bits
append E ys = ys
append (O xs) ys = O (append xs ys)
append (I xs) ys = I (append xs ys)