singletons-2.3: tests/compile-and-dump/Singletons/T157.hs

module T157 where

import Data.Singletons.Prelude

foo :: SList '["a", "b", "c"]
foo = sing `SCons` sing `SCons` sing