package Bus(a) where import Types import BusTypes a :: UInt 5 a = 3