Data.Tensor

class Group a

class Tensor a b