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