signature A(A(..)) where
import Rec