instance Semitensor Compose
explicit 'second' for Prof