module Rec(A(..), B(..)) where import A import B