{-# OPTIONS -Wall #-}
module M where
import GHC.TypeLits

foo :: SSymbol s -> ()
foo SSymbol = ()