module C where

open import B

C : Set
C = B