{ Type = ./Type, eq = ./eq, functor = ./functor }