Use a type to express rec sets instead of a bool