Module Z.Y

type a = Dep3.a