-- Other cases cannot happen!
dot t1' t2' = contractionErr "other" (head $ indices t1') (head $ indices t2')
dot t1' t2' = contractionErr "other" (head $ indices t1') (head $ indices t2')
dot t1' t2' = contractionErr "other" (head $ indices t1') (head $ indices t2')