module B where open import A B : Set B = A