AD s (Tower a) => Tower a s