Update HOAS.hs