singletons-2.4: tests/compile-and-dump/Singletons/T206.hs

module T206 where

import Data.Singletons.Prelude

x = SCons @Bool @True @'[False]