unit p where
    signature A (T) where