{-# LANGUAGE PatternSynonyms #-} module Foo where import ImportSyntax (A(.., B))