Should probably be just a high kinded type that takes in a dimension type param
Should probably be just a high kinded type that takes in a dimension type param