Gen is now a type constructor, Gen.hs moved