AD s (Dense f a) => Dense f a s