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

module T206 where

import Prelude.Singletons

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