module Loop1 where import {-# SOURCE #-} Loop import A