module Test.ImportEmpty where import Data.Bool ()