==================== Tidy Core ==================== 2017-09-12 21:51:11.9565468 UTC Result size of Tidy Core = {terms: 1,070, types: 3,235, coercions: 77,060, joins: 0/2} -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$trModule2 :: GHC.Prim.Addr# CoreDump.Matrix.Transpose.$trModule2 = "CoreDump.Matrix.Transpose"# -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$trModule1 :: GHC.Types.TrName CoreDump.Matrix.Transpose.$trModule1 = GHC.Types.TrNameS CoreDump.Matrix.Transpose.$trModule2 -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$trModule4 :: GHC.Prim.Addr# CoreDump.Matrix.Transpose.$trModule4 = "main"# -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$trModule3 :: GHC.Types.TrName CoreDump.Matrix.Transpose.$trModule3 = GHC.Types.TrNameS CoreDump.Matrix.Transpose.$trModule4 -- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$trModule :: GHC.Types.Module CoreDump.Matrix.Transpose.$trModule = GHC.Types.Module CoreDump.Matrix.Transpose.$trModule3 CoreDump.Matrix.Transpose.$trModule1 -- RHS size: {terms: 8, types: 12, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk21 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk21 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : ds1 xs1 -> GHC.Types.[] @ e } -- RHS size: {terms: 9, types: 12, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk20 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk20 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : ds1 xs1 -> CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk21 @ e xs1 } -- RHS size: {terms: 9, types: 12, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk19 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk19 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : ds1 xs1 -> CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk20 @ e xs1 } -- RHS size: {terms: 9, types: 12, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk29 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk29 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : ds1 xs1 -> CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk19 @ e xs1 } -- RHS size: {terms: 9, types: 12, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk28 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk28 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : ds1 xs1 -> CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk29 @ e xs1 } -- RHS size: {terms: 9, types: 12, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk27 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk27 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : ds1 xs1 -> CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk28 @ e xs1 } -- RHS size: {terms: 9, types: 12, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk34 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk34 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : ds1 xs1 -> CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk27 @ e xs1 } -- RHS size: {terms: 9, types: 12, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk33 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk33 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : ds1 xs1 -> CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk34 @ e xs1 } -- RHS size: {terms: 9, types: 12, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk32 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk32 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : ds1 xs1 -> CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk33 @ e xs1 } -- RHS size: {terms: 9, types: 12, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk57 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk57 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : ds1 xs1 -> CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk32 @ e xs1 } -- RHS size: {terms: 9, types: 12, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk76 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk76 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : ds1 xs1 -> CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk57 @ e xs1 } -- RHS size: {terms: 11, types: 13, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:0_$cgetSliceElemsWrk11 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:0_$cgetSliceElemsWrk11 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : x xs1 -> GHC.Types.: @ e x (CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk76 @ e xs1) } -- RHS size: {terms: 3, types: 49, coercions: 40, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith23 :: (Data.Tensor.Static.IsTensor '[4, 3] Float, Data.Tensor.Static.GetSliceElemsWrk '['True, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False]) CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith23 = (TensorInstances.$fIsTensor:Float5, CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:0_$cgetSliceElemsWrk11 `cast` ) -- RHS size: {terms: 11, types: 13, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:0_$cgetSliceElemsWrk7 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:0_$cgetSliceElemsWrk7 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : x xs1 -> GHC.Types.: @ e x (CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk57 @ e xs1) } -- RHS size: {terms: 9, types: 12, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk56 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk56 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : ds1 xs1 -> CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:0_$cgetSliceElemsWrk7 @ e xs1 } -- RHS size: {terms: 3, types: 49, coercions: 40, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith15 :: (Data.Tensor.Static.IsTensor '[4, 3] Float, Data.Tensor.Static.GetSliceElemsWrk '['False, 'True, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False]) CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith15 = (TensorInstances.$fIsTensor:Float5, CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk56 `cast` ) -- RHS size: {terms: 11, types: 13, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:0_$cgetSliceElemsWrk3 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:0_$cgetSliceElemsWrk3 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : x xs1 -> GHC.Types.: @ e x (CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk32 @ e xs1) } -- RHS size: {terms: 9, types: 12, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk31 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk31 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : ds1 xs1 -> CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:0_$cgetSliceElemsWrk3 @ e xs1 } -- RHS size: {terms: 9, types: 12, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk30 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk30 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : ds1 xs1 -> CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk31 @ e xs1 } -- RHS size: {terms: 3, types: 49, coercions: 40, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith7 :: (Data.Tensor.Static.IsTensor '[4, 3] Float, Data.Tensor.Static.GetSliceElemsWrk '['False, 'False, 'True, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False]) CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith7 = (TensorInstances.$fIsTensor:Float5, CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk30 `cast` ) -- RHS size: {terms: 11, types: 13, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:0_$cgetSliceElemsWrk10 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:0_$cgetSliceElemsWrk10 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : x xs1 -> GHC.Types.: @ e x (CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk33 @ e xs1) } -- RHS size: {terms: 9, types: 12, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk75 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk75 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : ds1 xs1 -> CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:0_$cgetSliceElemsWrk10 @ e xs1 } -- RHS size: {terms: 9, types: 12, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk74 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk74 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : ds1 xs1 -> CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk75 @ e xs1 } -- RHS size: {terms: 9, types: 12, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk73 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk73 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : ds1 xs1 -> CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk74 @ e xs1 } -- RHS size: {terms: 3, types: 49, coercions: 40, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith21 :: (Data.Tensor.Static.IsTensor '[4, 3] Float, Data.Tensor.Static.GetSliceElemsWrk '['False, 'False, 'False, 'True, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False]) CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith21 = (TensorInstances.$fIsTensor:Float5, CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk73 `cast` ) -- RHS size: {terms: 11, types: 13, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:0_$cgetSliceElemsWrk6 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:0_$cgetSliceElemsWrk6 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : x xs1 -> GHC.Types.: @ e x (CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk34 @ e xs1) } -- RHS size: {terms: 9, types: 12, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk55 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk55 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : ds1 xs1 -> CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:0_$cgetSliceElemsWrk6 @ e xs1 } -- RHS size: {terms: 9, types: 12, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk54 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk54 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : ds1 xs1 -> CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk55 @ e xs1 } -- RHS size: {terms: 9, types: 12, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk53 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk53 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : ds1 xs1 -> CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk54 @ e xs1 } -- RHS size: {terms: 9, types: 12, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk52 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk52 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : ds1 xs1 -> CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk53 @ e xs1 } -- RHS size: {terms: 3, types: 49, coercions: 40, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith13 :: (Data.Tensor.Static.IsTensor '[4, 3] Float, Data.Tensor.Static.GetSliceElemsWrk '['False, 'False, 'False, 'False, 'True, 'False, 'False, 'False, 'False, 'False, 'False, 'False]) CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith13 = (TensorInstances.$fIsTensor:Float5, CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk52 `cast` ) -- RHS size: {terms: 11, types: 13, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:0_$cgetSliceElemsWrk2 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:0_$cgetSliceElemsWrk2 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : x xs1 -> GHC.Types.: @ e x (CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk27 @ e xs1) } -- RHS size: {terms: 9, types: 12, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk26 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk26 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : ds1 xs1 -> CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:0_$cgetSliceElemsWrk2 @ e xs1 } -- RHS size: {terms: 9, types: 12, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk25 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk25 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : ds1 xs1 -> CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk26 @ e xs1 } -- RHS size: {terms: 9, types: 12, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk24 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk24 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : ds1 xs1 -> CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk25 @ e xs1 } -- RHS size: {terms: 9, types: 12, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk23 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk23 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : ds1 xs1 -> CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk24 @ e xs1 } -- RHS size: {terms: 9, types: 12, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk22 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk22 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : ds1 xs1 -> CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk23 @ e xs1 } -- RHS size: {terms: 3, types: 49, coercions: 40, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith5 :: (Data.Tensor.Static.IsTensor '[4, 3] Float, Data.Tensor.Static.GetSliceElemsWrk '['False, 'False, 'False, 'False, 'False, 'True, 'False, 'False, 'False, 'False, 'False, 'False]) CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith5 = (TensorInstances.$fIsTensor:Float5, CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk22 `cast` ) -- RHS size: {terms: 11, types: 13, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:0_$cgetSliceElemsWrk9 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:0_$cgetSliceElemsWrk9 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : x xs1 -> GHC.Types.: @ e x (CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk28 @ e xs1) } -- RHS size: {terms: 9, types: 12, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk72 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk72 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : ds1 xs1 -> CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:0_$cgetSliceElemsWrk9 @ e xs1 } -- RHS size: {terms: 9, types: 12, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk71 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk71 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : ds1 xs1 -> CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk72 @ e xs1 } -- RHS size: {terms: 9, types: 12, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk70 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk70 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : ds1 xs1 -> CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk71 @ e xs1 } -- RHS size: {terms: 9, types: 12, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk69 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk69 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : ds1 xs1 -> CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk70 @ e xs1 } -- RHS size: {terms: 9, types: 12, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk68 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk68 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : ds1 xs1 -> CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk69 @ e xs1 } -- RHS size: {terms: 9, types: 12, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk67 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk67 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : ds1 xs1 -> CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk68 @ e xs1 } -- RHS size: {terms: 3, types: 49, coercions: 40, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith19 :: (Data.Tensor.Static.IsTensor '[4, 3] Float, Data.Tensor.Static.GetSliceElemsWrk '['False, 'False, 'False, 'False, 'False, 'False, 'True, 'False, 'False, 'False, 'False, 'False]) CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith19 = (TensorInstances.$fIsTensor:Float5, CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk67 `cast` ) -- RHS size: {terms: 11, types: 13, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:0_$cgetSliceElemsWrk5 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:0_$cgetSliceElemsWrk5 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : x xs1 -> GHC.Types.: @ e x (CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk29 @ e xs1) } -- RHS size: {terms: 9, types: 12, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk51 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk51 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : ds1 xs1 -> CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:0_$cgetSliceElemsWrk5 @ e xs1 } -- RHS size: {terms: 9, types: 12, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk50 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk50 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : ds1 xs1 -> CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk51 @ e xs1 } -- RHS size: {terms: 9, types: 12, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk49 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk49 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : ds1 xs1 -> CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk50 @ e xs1 } -- RHS size: {terms: 9, types: 12, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk48 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk48 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : ds1 xs1 -> CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk49 @ e xs1 } -- RHS size: {terms: 9, types: 12, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk47 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk47 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : ds1 xs1 -> CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk48 @ e xs1 } -- RHS size: {terms: 9, types: 12, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk46 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk46 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : ds1 xs1 -> CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk47 @ e xs1 } -- RHS size: {terms: 9, types: 12, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk45 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk45 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : ds1 xs1 -> CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk46 @ e xs1 } -- RHS size: {terms: 3, types: 49, coercions: 40, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith11 :: (Data.Tensor.Static.IsTensor '[4, 3] Float, Data.Tensor.Static.GetSliceElemsWrk '['False, 'False, 'False, 'False, 'False, 'False, 'False, 'True, 'False, 'False, 'False, 'False]) CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith11 = (TensorInstances.$fIsTensor:Float5, CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk45 `cast` ) -- RHS size: {terms: 11, types: 13, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:0_$cgetSliceElemsWrk1 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:0_$cgetSliceElemsWrk1 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : x xs1 -> GHC.Types.: @ e x (CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk19 @ e xs1) } -- RHS size: {terms: 9, types: 12, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk18 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk18 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : ds1 xs1 -> CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:0_$cgetSliceElemsWrk1 @ e xs1 } -- RHS size: {terms: 9, types: 12, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk17 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk17 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : ds1 xs1 -> CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk18 @ e xs1 } -- RHS size: {terms: 9, types: 12, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk16 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk16 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : ds1 xs1 -> CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk17 @ e xs1 } -- RHS size: {terms: 9, types: 12, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk15 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk15 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : ds1 xs1 -> CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk16 @ e xs1 } -- RHS size: {terms: 9, types: 12, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk14 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk14 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : ds1 xs1 -> CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk15 @ e xs1 } -- RHS size: {terms: 9, types: 12, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk13 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk13 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : ds1 xs1 -> CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk14 @ e xs1 } -- RHS size: {terms: 9, types: 12, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk12 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk12 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : ds1 xs1 -> CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk13 @ e xs1 } -- RHS size: {terms: 9, types: 12, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk11 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk11 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : ds1 xs1 -> CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk12 @ e xs1 } -- RHS size: {terms: 3, types: 49, coercions: 40, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith3 :: (Data.Tensor.Static.IsTensor '[4, 3] Float, Data.Tensor.Static.GetSliceElemsWrk '['False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'True, 'False, 'False, 'False]) CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith3 = (TensorInstances.$fIsTensor:Float5, CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk11 `cast` ) -- RHS size: {terms: 11, types: 13, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:0_$cgetSliceElemsWrk8 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:0_$cgetSliceElemsWrk8 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : x xs1 -> GHC.Types.: @ e x (CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk20 @ e xs1) } -- RHS size: {terms: 9, types: 12, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk66 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk66 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : ds1 xs1 -> CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:0_$cgetSliceElemsWrk8 @ e xs1 } -- RHS size: {terms: 9, types: 12, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk65 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk65 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : ds1 xs1 -> CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk66 @ e xs1 } -- RHS size: {terms: 9, types: 12, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk64 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk64 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : ds1 xs1 -> CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk65 @ e xs1 } -- RHS size: {terms: 9, types: 12, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk63 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk63 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : ds1 xs1 -> CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk64 @ e xs1 } -- RHS size: {terms: 9, types: 12, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk62 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk62 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : ds1 xs1 -> CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk63 @ e xs1 } -- RHS size: {terms: 9, types: 12, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk61 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk61 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : ds1 xs1 -> CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk62 @ e xs1 } -- RHS size: {terms: 9, types: 12, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk60 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk60 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : ds1 xs1 -> CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk61 @ e xs1 } -- RHS size: {terms: 9, types: 12, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk59 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk59 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : ds1 xs1 -> CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk60 @ e xs1 } -- RHS size: {terms: 9, types: 12, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk58 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk58 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : ds1 xs1 -> CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk59 @ e xs1 } -- RHS size: {terms: 3, types: 49, coercions: 40, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith17 :: (Data.Tensor.Static.IsTensor '[4, 3] Float, Data.Tensor.Static.GetSliceElemsWrk '['False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'True, 'False, 'False]) CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith17 = (TensorInstances.$fIsTensor:Float5, CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk58 `cast` ) -- RHS size: {terms: 11, types: 13, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:0_$cgetSliceElemsWrk4 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:0_$cgetSliceElemsWrk4 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : x xs1 -> GHC.Types.: @ e x (CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk21 @ e xs1) } -- RHS size: {terms: 9, types: 12, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk44 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk44 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : ds1 xs1 -> CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:0_$cgetSliceElemsWrk4 @ e xs1 } -- RHS size: {terms: 9, types: 12, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk43 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk43 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : ds1 xs1 -> CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk44 @ e xs1 } -- RHS size: {terms: 9, types: 12, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk42 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk42 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : ds1 xs1 -> CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk43 @ e xs1 } -- RHS size: {terms: 9, types: 12, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk41 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk41 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : ds1 xs1 -> CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk42 @ e xs1 } -- RHS size: {terms: 9, types: 12, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk40 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk40 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : ds1 xs1 -> CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk41 @ e xs1 } -- RHS size: {terms: 9, types: 12, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk39 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk39 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : ds1 xs1 -> CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk40 @ e xs1 } -- RHS size: {terms: 9, types: 12, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk38 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk38 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : ds1 xs1 -> CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk39 @ e xs1 } -- RHS size: {terms: 9, types: 12, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk37 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk37 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : ds1 xs1 -> CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk38 @ e xs1 } -- RHS size: {terms: 9, types: 12, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk36 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk36 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : ds1 xs1 -> CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk37 @ e xs1 } -- RHS size: {terms: 9, types: 12, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk35 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk35 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : ds1 xs1 -> CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk36 @ e xs1 } -- RHS size: {terms: 3, types: 49, coercions: 40, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith9 :: (Data.Tensor.Static.IsTensor '[4, 3] Float, Data.Tensor.Static.GetSliceElemsWrk '['False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'True, 'False]) CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith9 = (TensorInstances.$fIsTensor:Float5, CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk35 `cast` ) -- RHS size: {terms: 10, types: 13, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:0_$cgetSliceElemsWrk :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:0_$cgetSliceElemsWrk = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : x xs1 -> GHC.Types.: @ e x (GHC.Types.[] @ e) } -- RHS size: {terms: 9, types: 12, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk10 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk10 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : ds1 xs1 -> CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:0_$cgetSliceElemsWrk @ e xs1 } -- RHS size: {terms: 9, types: 12, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk9 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk9 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : ds1 xs1 -> CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk10 @ e xs1 } -- RHS size: {terms: 9, types: 12, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk8 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk8 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : ds1 xs1 -> CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk9 @ e xs1 } -- RHS size: {terms: 9, types: 12, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk7 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk7 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : ds1 xs1 -> CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk8 @ e xs1 } -- RHS size: {terms: 9, types: 12, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk6 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk6 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : ds1 xs1 -> CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk7 @ e xs1 } -- RHS size: {terms: 9, types: 12, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk5 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk5 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : ds1 xs1 -> CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk6 @ e xs1 } -- RHS size: {terms: 9, types: 12, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk4 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk4 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : ds1 xs1 -> CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk5 @ e xs1 } -- RHS size: {terms: 9, types: 12, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk3 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk3 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : ds1 xs1 -> CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk4 @ e xs1 } -- RHS size: {terms: 9, types: 12, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk2 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk2 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : ds1 xs1 -> CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk3 @ e xs1 } -- RHS size: {terms: 9, types: 12, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk1 :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk1 = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : ds1 xs1 -> CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk2 @ e xs1 } -- RHS size: {terms: 9, types: 12, coercions: 0, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk :: forall e. [e] -> [e] CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk = \ (@ e) (ds :: [e]) -> case ds of { [] -> Data.Tensor.Static.impossible_notEnoughTensorElems @ [e]; : ds1 xs1 -> CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk1 @ e xs1 } -- RHS size: {terms: 3, types: 49, coercions: 40, joins: 0/0} CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith1 :: (Data.Tensor.Static.IsTensor '[4, 3] Float, Data.Tensor.Static.GetSliceElemsWrk '['False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'True]) CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith1 = (TensorInstances.$fIsTensor:Float5, CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk `cast` ) -- RHS size: {terms: 95, types: 420, coercions: 76,580, joins: 0/2} transpose_ :: Matrix 4 3 Float -> Matrix 3 4 Float transpose_ = \ (m1 :: Matrix 4 3 Float) -> let { $wf :: forall (x1 :: [GHC.Types.Nat]). Type.List.MkCtx [GHC.Types.Nat] (Data.Singletons.TyFun [GHC.Types.Nat] Constraint -> *) (Data.Matrix.Static.TransposeGoSym3 4 3 Float) x1 => Float $wf = \ (@ (x1 :: [GHC.Types.Nat])) (w :: Type.List.MkCtx [GHC.Types.Nat] (Data.Singletons.TyFun [GHC.Types.Nat] Constraint -> *) (Data.Matrix.Static.TransposeGoSym3 4 3 Float) x1) -> case GHC.Types.HEq_sc @ Bool @ Bool @ (Data.Tensor.Static.PositiveDims '[4, 3]) @ 'True ((Data.Tensor.Static.$p1IsTensor @ '[4, 3] @ Float (GHC.Classes.$p1(%,%) @ (Data.Tensor.Static.IsTensor '[4, 3] Float) @ (Data.Tensor.Static.GetSliceElemsWrk (Data.Tensor.Static.ElemsInSlice' (Data.Matrix.Static.ReverseIndex x1) (Data.Tensor.Static.SliceEndIndex (Data.Matrix.Static.ReverseIndex x1) '[1, 1] '[4, 3]) (Data.Tensor.Static.Sequence (Data.Tensor.Static.IndexesRanges' '[4, 3] (1 GHC.TypeNats.<=? 4))))) (w `cast` ))) `cast` ) of cobox4 { __DEFAULT -> case GHC.Types.HEq_sc @ Bool @ Bool @ (Data.Tensor.Static.PositiveDims '[4, 3]) @ 'True ((Data.Tensor.Static.$p1IsTensor @ '[4, 3] @ Float (GHC.Classes.$p1(%,%) @ (Data.Tensor.Static.IsTensor '[4, 3] Float) @ (Data.Tensor.Static.GetSliceElemsWrk (Data.Tensor.Static.ElemsInSlice (Data.Matrix.Static.ReverseIndex x1) '[1, 1] '[4, 3])) (w `cast` ))) `cast` ) of cobox5 { __DEFAULT -> let { $dIsTensor1 :: Data.Tensor.Static.IsTensor '[4, 3] Float $dIsTensor1 = GHC.Classes.$p1(%,%) @ (Data.Tensor.Static.IsTensor '[4, 3] Float) @ (Data.Tensor.Static.GetSliceElemsWrk (Data.Tensor.Static.ElemsInSlice (Data.Matrix.Static.ReverseIndex x1) '[1, 1] '[4, 3])) (w `cast` ) } in case GHC.Types.HEq_sc @ Bool @ Bool @ (Data.Tensor.Static.PositiveDims '[4, 3]) @ 'True ((Data.Tensor.Static.$p1IsTensor @ '[4, 3] @ Float $dIsTensor1) `cast` ) of cobox6 { __DEFAULT -> case ((GHC.Classes.$p2(%,%) @ (Data.Tensor.Static.IsTensor '[4, 3] Float) @ (Data.Tensor.Static.GetSliceElemsWrk (Data.Tensor.Static.ElemsInSlice (Data.Matrix.Static.ReverseIndex x1) '[1, 1] '[4, 3])) (w `cast` )) `cast` ) @ Float (Data.Tensor.Static.toList @ '[4, 3] @ Float $dIsTensor1 m1) of { [] -> GHC.List.badHead @ Float; : x ds1 -> x } } } } } in case $wf @ '[0, 0] (CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith23 `cast` ) of { GHC.Types.F# dt1 -> case $wf @ '[0, 1] (CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith21 `cast` ) of { GHC.Types.F# dt3 -> case $wf @ '[0, 2] (CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith19 `cast` ) of { GHC.Types.F# dt5 -> case $wf @ '[0, 3] (CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith17 `cast` ) of { GHC.Types.F# dt7 -> case $wf @ '[1, 0] (CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith15 `cast` ) of { GHC.Types.F# dt9 -> case $wf @ '[1, 1] (CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith13 `cast` ) of { GHC.Types.F# dt11 -> case $wf @ '[1, 2] (CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith11 `cast` ) of { GHC.Types.F# dt13 -> case $wf @ '[1, 3] (CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith9 `cast` ) of { GHC.Types.F# dt15 -> case $wf @ '[2, 0] (CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith7 `cast` ) of { GHC.Types.F# dt17 -> case $wf @ '[2, 1] (CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith5 `cast` ) of { GHC.Types.F# dt19 -> case $wf @ '[2, 2] (CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith3 `cast` ) of { GHC.Types.F# dt21 -> case $wf @ '[2, 3] (CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith1 `cast` ) of { GHC.Types.F# dt23 -> (TensorInstances.Tensor'3'4'Float dt1 dt3 dt5 dt7 dt9 dt11 dt13 dt15 dt17 dt19 dt21 dt23) `cast` } } } } } } } } } } } } ------ Local rules for imported ids -------- "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '[]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '[]). Data.Tensor.Static.$fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '[] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk21 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['False]). Data.Tensor.Static.$fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk20 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['False, 'False]). Data.Tensor.Static.$fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk19 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['True, 'False, 'False, 'False]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['True, 'False, 'False, 'False]). Data.Tensor.Static.$fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['True, 'False, 'False, 'False] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk18 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'True, 'False, 'False, 'False]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['False, 'True, 'False, 'False, 'False]). Data.Tensor.Static.$fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'True, 'False, 'False, 'False] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk17 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'True, 'False, 'False, 'False]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['False, 'False, 'True, 'False, 'False, 'False]). Data.Tensor.Static.$fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'True, 'False, 'False, 'False] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk16 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'True, 'False, 'False, 'False]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['False, 'False, 'False, 'True, 'False, 'False, 'False]). Data.Tensor.Static.$fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'True, 'False, 'False, 'False] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk15 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'True, 'False, 'False, 'False]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['False, 'False, 'False, 'False, 'True, 'False, 'False, 'False]). Data.Tensor.Static.$fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'True, 'False, 'False, 'False] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk14 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'False, 'True, 'False, 'False, 'False]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['False, 'False, 'False, 'False, 'False, 'True, 'False, 'False, 'False]). Data.Tensor.Static.$fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'False, 'True, 'False, 'False, 'False] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk13 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'False, 'False, 'True, 'False, 'False, 'False]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['False, 'False, 'False, 'False, 'False, 'False, 'True, 'False, 'False, 'False]). Data.Tensor.Static.$fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'False, 'False, 'True, 'False, 'False, 'False] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk12 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'False, 'False, 'False, 'True, 'False, 'False, 'False]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['False, 'False, 'False, 'False, 'False, 'False, 'False, 'True, 'False, 'False, 'False]). Data.Tensor.Static.$fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'False, 'False, 'False, 'True, 'False, 'False, 'False] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk11 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['False, 'False, 'False]). Data.Tensor.Static.$fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk29 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['False, 'False, 'False, 'False]). Data.Tensor.Static.$fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk28 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'False]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['False, 'False, 'False, 'False, 'False]). Data.Tensor.Static.$fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'False] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk27 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['True, 'False, 'False, 'False, 'False, 'False, 'False]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['True, 'False, 'False, 'False, 'False, 'False, 'False]). Data.Tensor.Static.$fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['True, 'False, 'False, 'False, 'False, 'False, 'False] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk26 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'True, 'False, 'False, 'False, 'False, 'False, 'False]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['False, 'True, 'False, 'False, 'False, 'False, 'False, 'False]). Data.Tensor.Static.$fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'True, 'False, 'False, 'False, 'False, 'False, 'False] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk25 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'True, 'False, 'False, 'False, 'False, 'False, 'False]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['False, 'False, 'True, 'False, 'False, 'False, 'False, 'False, 'False]). Data.Tensor.Static.$fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'True, 'False, 'False, 'False, 'False, 'False, 'False] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk24 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'True, 'False, 'False, 'False, 'False, 'False, 'False]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['False, 'False, 'False, 'True, 'False, 'False, 'False, 'False, 'False, 'False]). Data.Tensor.Static.$fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'True, 'False, 'False, 'False, 'False, 'False, 'False] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk23 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'True, 'False, 'False, 'False, 'False, 'False, 'False]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['False, 'False, 'False, 'False, 'True, 'False, 'False, 'False, 'False, 'False, 'False]). Data.Tensor.Static.$fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'True, 'False, 'False, 'False, 'False, 'False, 'False] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk22 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'False, 'False]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['False, 'False, 'False, 'False, 'False, 'False]). Data.Tensor.Static.$fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'False, 'False] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk34 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'False, 'False, 'False]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['False, 'False, 'False, 'False, 'False, 'False, 'False]). Data.Tensor.Static.$fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'False, 'False, 'False] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk33 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'False, 'False, 'False, 'False]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['False, 'False, 'False, 'False, 'False, 'False, 'False, 'False]). Data.Tensor.Static.$fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'False, 'False, 'False, 'False] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk32 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['True, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['True, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False]). Data.Tensor.Static.$fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['True, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk31 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'True, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['False, 'True, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False]). Data.Tensor.Static.$fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'True, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk30 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False]). Data.Tensor.Static.$fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk57 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['True, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['True, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False]). Data.Tensor.Static.$fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['True, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk56 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False]). Data.Tensor.Static.$fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk76 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['True, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['True, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False]). Data.Tensor.Static.$fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['True, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk75 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'True, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['False, 'True, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False]). Data.Tensor.Static.$fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'True, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk74 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'True, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['False, 'False, 'True, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False]). Data.Tensor.Static.$fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'True, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk73 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['True, 'False, 'False, 'False, 'False, 'False, 'False, 'False]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['True, 'False, 'False, 'False, 'False, 'False, 'False, 'False]). Data.Tensor.Static.$fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['True, 'False, 'False, 'False, 'False, 'False, 'False, 'False] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk55 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'True, 'False, 'False, 'False, 'False, 'False, 'False, 'False]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['False, 'True, 'False, 'False, 'False, 'False, 'False, 'False, 'False]). Data.Tensor.Static.$fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'True, 'False, 'False, 'False, 'False, 'False, 'False, 'False] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk54 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'True, 'False, 'False, 'False, 'False, 'False, 'False, 'False]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['False, 'False, 'True, 'False, 'False, 'False, 'False, 'False, 'False, 'False]). Data.Tensor.Static.$fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'True, 'False, 'False, 'False, 'False, 'False, 'False, 'False] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk53 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'True, 'False, 'False, 'False, 'False, 'False, 'False, 'False]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['False, 'False, 'False, 'True, 'False, 'False, 'False, 'False, 'False, 'False, 'False]). Data.Tensor.Static.$fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'True, 'False, 'False, 'False, 'False, 'False, 'False, 'False] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk52 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['True, 'False, 'False, 'False, 'False, 'False]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['True, 'False, 'False, 'False, 'False, 'False]). Data.Tensor.Static.$fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['True, 'False, 'False, 'False, 'False, 'False] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk72 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'True, 'False, 'False, 'False, 'False, 'False]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['False, 'True, 'False, 'False, 'False, 'False, 'False]). Data.Tensor.Static.$fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'True, 'False, 'False, 'False, 'False, 'False] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk71 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'True, 'False, 'False, 'False, 'False, 'False]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['False, 'False, 'True, 'False, 'False, 'False, 'False, 'False]). Data.Tensor.Static.$fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'True, 'False, 'False, 'False, 'False, 'False] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk70 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'True, 'False, 'False, 'False, 'False, 'False]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['False, 'False, 'False, 'True, 'False, 'False, 'False, 'False, 'False]). Data.Tensor.Static.$fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'True, 'False, 'False, 'False, 'False, 'False] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk69 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'True, 'False, 'False, 'False, 'False, 'False]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['False, 'False, 'False, 'False, 'True, 'False, 'False, 'False, 'False, 'False]). Data.Tensor.Static.$fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'True, 'False, 'False, 'False, 'False, 'False] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk68 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'False, 'True, 'False, 'False, 'False, 'False, 'False]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['False, 'False, 'False, 'False, 'False, 'True, 'False, 'False, 'False, 'False, 'False]). Data.Tensor.Static.$fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'False, 'True, 'False, 'False, 'False, 'False, 'False] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk67 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['True, 'False, 'False, 'False, 'False]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['True, 'False, 'False, 'False, 'False]). Data.Tensor.Static.$fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['True, 'False, 'False, 'False, 'False] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk51 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'True, 'False, 'False, 'False, 'False]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['False, 'True, 'False, 'False, 'False, 'False]). Data.Tensor.Static.$fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'True, 'False, 'False, 'False, 'False] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk50 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'True, 'False, 'False, 'False, 'False]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['False, 'False, 'True, 'False, 'False, 'False, 'False]). Data.Tensor.Static.$fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'True, 'False, 'False, 'False, 'False] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk49 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'True, 'False, 'False, 'False, 'False]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['False, 'False, 'False, 'True, 'False, 'False, 'False, 'False]). Data.Tensor.Static.$fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'True, 'False, 'False, 'False, 'False] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk48 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'True, 'False, 'False, 'False, 'False]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['False, 'False, 'False, 'False, 'True, 'False, 'False, 'False, 'False]). Data.Tensor.Static.$fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'True, 'False, 'False, 'False, 'False] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk47 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'False, 'True, 'False, 'False, 'False, 'False]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['False, 'False, 'False, 'False, 'False, 'True, 'False, 'False, 'False, 'False]). Data.Tensor.Static.$fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'False, 'True, 'False, 'False, 'False, 'False] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk46 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'False, 'False, 'True, 'False, 'False, 'False, 'False]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['False, 'False, 'False, 'False, 'False, 'False, 'True, 'False, 'False, 'False, 'False]). Data.Tensor.Static.$fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'False, 'False, 'True, 'False, 'False, 'False, 'False] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk45 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['True, 'False, 'False]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['True, 'False, 'False]). Data.Tensor.Static.$fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['True, 'False, 'False] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk66 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'True, 'False, 'False]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['False, 'True, 'False, 'False]). Data.Tensor.Static.$fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'True, 'False, 'False] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk65 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'True, 'False, 'False]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['False, 'False, 'True, 'False, 'False]). Data.Tensor.Static.$fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'True, 'False, 'False] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk64 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'True, 'False, 'False]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['False, 'False, 'False, 'True, 'False, 'False]). Data.Tensor.Static.$fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'True, 'False, 'False] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk63 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'True, 'False, 'False]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['False, 'False, 'False, 'False, 'True, 'False, 'False]). Data.Tensor.Static.$fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'True, 'False, 'False] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk62 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'False, 'True, 'False, 'False]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['False, 'False, 'False, 'False, 'False, 'True, 'False, 'False]). Data.Tensor.Static.$fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'False, 'True, 'False, 'False] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk61 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'False, 'False, 'True, 'False, 'False]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['False, 'False, 'False, 'False, 'False, 'False, 'True, 'False, 'False]). Data.Tensor.Static.$fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'False, 'False, 'True, 'False, 'False] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk60 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'False, 'False, 'False, 'True, 'False, 'False]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['False, 'False, 'False, 'False, 'False, 'False, 'False, 'True, 'False, 'False]). Data.Tensor.Static.$fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'False, 'False, 'False, 'True, 'False, 'False] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk59 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'True, 'False, 'False]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'True, 'False, 'False]). Data.Tensor.Static.$fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'True, 'False, 'False] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk58 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['True, 'False]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['True, 'False]). Data.Tensor.Static.$fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['True, 'False] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk44 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'True, 'False]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['False, 'True, 'False]). Data.Tensor.Static.$fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'True, 'False] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk43 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'True, 'False]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['False, 'False, 'True, 'False]). Data.Tensor.Static.$fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'True, 'False] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk42 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'True, 'False]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['False, 'False, 'False, 'True, 'False]). Data.Tensor.Static.$fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'True, 'False] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk41 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'True, 'False]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['False, 'False, 'False, 'False, 'True, 'False]). Data.Tensor.Static.$fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'True, 'False] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk40 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'False, 'True, 'False]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['False, 'False, 'False, 'False, 'False, 'True, 'False]). Data.Tensor.Static.$fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'False, 'True, 'False] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk39 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'False, 'False, 'True, 'False]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['False, 'False, 'False, 'False, 'False, 'False, 'True, 'False]). Data.Tensor.Static.$fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'False, 'False, 'True, 'False] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk38 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'False, 'False, 'False, 'True, 'False]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['False, 'False, 'False, 'False, 'False, 'False, 'False, 'True, 'False]). Data.Tensor.Static.$fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'False, 'False, 'False, 'True, 'False] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk37 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'True, 'False]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'True, 'False]). Data.Tensor.Static.$fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'True, 'False] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk36 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'True, 'False]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'True, 'False]). Data.Tensor.Static.$fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'True, 'False] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk35 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['True]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['True]). Data.Tensor.Static.$fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['True] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk10 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'True]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['False, 'True]). Data.Tensor.Static.$fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'True] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk9 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'True]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['False, 'False, 'True]). Data.Tensor.Static.$fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'True] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk8 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'True]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['False, 'False, 'False, 'True]). Data.Tensor.Static.$fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'True] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk7 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'True]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['False, 'False, 'False, 'False, 'True]). Data.Tensor.Static.$fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'True] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk6 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'False, 'True]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['False, 'False, 'False, 'False, 'False, 'True]). Data.Tensor.Static.$fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'False, 'True] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk5 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'False, 'False, 'True]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['False, 'False, 'False, 'False, 'False, 'False, 'True]). Data.Tensor.Static.$fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'False, 'False, 'True] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk4 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'False, 'False, 'False, 'True]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['False, 'False, 'False, 'False, 'False, 'False, 'False, 'True]). Data.Tensor.Static.$fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'False, 'False, 'False, 'True] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk3 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'True]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'True]). Data.Tensor.Static.$fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'True] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk2 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'True]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'True]). Data.Tensor.Static.$fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'True] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk1 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'True]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'True]). Data.Tensor.Static.$fGetSliceElemsWrk:_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'True] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:_$cgetSliceElemsWrk "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:0_$cgetSliceElemsWrk @ '['False, 'False, 'False]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['False, 'False, 'False]). Data.Tensor.Static.$fGetSliceElemsWrk:0_$cgetSliceElemsWrk @ '['False, 'False, 'False] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:0_$cgetSliceElemsWrk1 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:0_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'False, 'False]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['False, 'False, 'False, 'False, 'False, 'False]). Data.Tensor.Static.$fGetSliceElemsWrk:0_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'False, 'False] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:0_$cgetSliceElemsWrk2 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:0_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False]). Data.Tensor.Static.$fGetSliceElemsWrk:0_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:0_$cgetSliceElemsWrk3 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:0_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False]). Data.Tensor.Static.$fGetSliceElemsWrk:0_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:0_$cgetSliceElemsWrk7 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:0_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False]). Data.Tensor.Static.$fGetSliceElemsWrk:0_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False, 'False] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:0_$cgetSliceElemsWrk11 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:0_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'False, 'False, 'False, 'False]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['False, 'False, 'False, 'False, 'False, 'False, 'False, 'False]). Data.Tensor.Static.$fGetSliceElemsWrk:0_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'False, 'False, 'False, 'False] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:0_$cgetSliceElemsWrk10 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:0_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'False, 'False, 'False]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['False, 'False, 'False, 'False, 'False, 'False, 'False]). Data.Tensor.Static.$fGetSliceElemsWrk:0_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'False, 'False, 'False] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:0_$cgetSliceElemsWrk6 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:0_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'False]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['False, 'False, 'False, 'False, 'False]). Data.Tensor.Static.$fGetSliceElemsWrk:0_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False, 'False] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:0_$cgetSliceElemsWrk9 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:0_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['False, 'False, 'False, 'False]). Data.Tensor.Static.$fGetSliceElemsWrk:0_$cgetSliceElemsWrk @ '['False, 'False, 'False, 'False] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:0_$cgetSliceElemsWrk5 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:0_$cgetSliceElemsWrk @ '['False, 'False]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['False, 'False]). Data.Tensor.Static.$fGetSliceElemsWrk:0_$cgetSliceElemsWrk @ '['False, 'False] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:0_$cgetSliceElemsWrk8 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:0_$cgetSliceElemsWrk @ '['False]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '['False]). Data.Tensor.Static.$fGetSliceElemsWrk:0_$cgetSliceElemsWrk @ '['False] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:0_$cgetSliceElemsWrk4 "SPEC/CoreDump.Matrix.Transpose $fGetSliceElemsWrk:0_$cgetSliceElemsWrk @ '[]" forall ($dGetSliceElemsWrk :: Data.Tensor.Static.GetSliceElemsWrk '[]). Data.Tensor.Static.$fGetSliceElemsWrk:0_$cgetSliceElemsWrk @ '[] $dGetSliceElemsWrk = CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith_$s$fGetSliceElemsWrk:0_$cgetSliceElemsWrk