module T206 where

import Data.Singletons.Prelude

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