singletons-1.0: tests/compile-and-dump/Singletons/Tuples.hs

module Singletons.Tuples where

import Data.Singletons
import Data.Singletons.Single
import Data.Singletons.SuppressUnusedWarnings
import Data.Singletons.Types

$(genSingletons [ ''()
                , ''(,)
                , ''(,,)
                , ''(,,,)
                , ''(,,,,)
                , ''(,,,,,)
                , ''(,,,,,,)
                ])