Error: Display type `SImple` not defined.