* | Data.Singletons.Prelude.Num, Data.Singletons.Prelude |
*> | Data.Singletons.Prelude.Applicative, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
*>@#@$ | Data.Singletons.Prelude.Applicative, Data.Singletons.Prelude |
*>@#@$$ | Data.Singletons.Prelude.Applicative, Data.Singletons.Prelude |
*>@#@$$$ | Data.Singletons.Prelude.Applicative, Data.Singletons.Prelude |
*@#@$ | Data.Singletons.Prelude.Num, Data.Singletons.Prelude |
*@#@$$ | Data.Singletons.Prelude.Num, Data.Singletons.Prelude |
*@#@$$$ | Data.Singletons.Prelude.Num, Data.Singletons.Prelude |