Optional type in recursively defined class

Question

I\'m making a tensor class that can make tensors of any order. For example a third order 3 by 2 by 4 float tensor is made using Tensor a.