Given: module A(Type(..)) where data Type = Constr module B(Type(..)) where import A module C(Type(..)) where import B module D where import C f = Constr ERROR "D.hs":3 - Undefined constructor function "Constr"