module Lib (A(..), A) where data A = B | C