module ExportQualified_Import where

import ExportQualified_Export

x :: X
x = undefined