$newline never $forall (rScope, instances) <- Map.toList gInstances
$if showHeadings

_{rScope} ^{instanceList rScope instances}