AD s (Kahn a) => Kahn a s