Proper Tensor Isos
Composable foldMap using only powers