Hi... if I write a .hi-boot(-5) file that imports from another module (in this case to re-export), GHC looks for that module's .hi file. I would prefer it to look for a .hi-boot file. __interface TypeFr 1 0 where __export TypeFr Type Kind SuperKind ; 1 data Type ; 1 type Kind = Type ; 1 type SuperKind = Type ; and __interface Type 1 0 where __export TypeFr Type Kind SuperKind ; Here TypeFr is the friends' interface, which contains the representation details, and Type publishes only the abstract data type. I would like importers to be able to write import {-# SOURCE #-} Type( Type ) (if they are not friends), but at present they must write import {-# SOURCE #-} TypeFr( Type ) Thanks. --KW 8-) -- : Keith Wansbrough, MSc, BSc(Hons) (Auckland) ------------------------: : PhD Student, Computer Laboratory, University of Cambridge, England. : : (and recently of the University of Glasgow, Scotland. [><] ) : : Native of Antipodean Auckland, New Zealand: 174d47' E, 36d55' S. : : http://www.cl.cam.ac.uk/users/kw217/ mailto:[EMAIL PROTECTED] : :---------------------------------------------------------------------: