20070725-1

module B where

module A where
  postulate A : Set

module B where
  open A public
  postulate B : Set

module C (X : Set) = B

-- C.B : Set -> Set   ok
-- C.A : Set	      not ok