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

module T157 where

import Prelude.Singletons

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