AD s (Sparse a) => Sparse a s