module UselessPrivateImport where

private
  open import Common.Prelude