$sfoo :: (?b::Bool) => String -> [Char]
$sfoo