signature B(B(..)) where import Rec