template<typename, typename = void>
atlas::linalg::introspection::has_shape struct