{-# LANGUAGE ImplicitParams #-}
foo :: (?bar::Bool) => ()
foo = ()