added import for Data.Singletons.Prelude