Do not import Stratum from hw.hs yet