Allow optional bar on type extensions