update ARC019 B.hs