module DhallishGrammar::ForbiddenLabel7