hs-inheritance-and-variation