1 2 3 4 5 6 7
unit p where signature A where data T signature B where data T signature A(T) where import B(T)