static-tensor-0.1.0.0: tests/CoreDump/Matrix/Transpose.dump-simpl.ghc821.golden

==================== 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` <Co:40>)

-- 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` <Co:40>)

-- 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` <Co:40>)

-- 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` <Co:40>)

-- 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` <Co:40>)

-- 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` <Co:40>)

-- 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` <Co:40>)

-- 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` <Co:40>)

-- 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` <Co:40>)

-- 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` <Co:40>)

-- 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` <Co:40>)

-- 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` <Co:40>)

-- 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` <Co:60>)))
                      `cast` <Co:12>)
              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` <Co:16>)))
                      `cast` <Co:12>)
              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` <Co:16>) } in
              case GHC.Types.HEq_sc
                     @ Bool
                     @ Bool
                     @ (Data.Tensor.Static.PositiveDims '[4, 3])
                     @ 'True
                     ((Data.Tensor.Static.$p1IsTensor @ '[4, 3] @ Float $dIsTensor1)
                      `cast` <Co:12>)
              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` <Co:16>))
                    `cast` <Co:20>)
                     @ 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` <Co:6348>)
      of
      { GHC.Types.F# dt1 ->
      case $wf
             @ '[0, 1]
             (CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith21
              `cast` <Co:6362>)
      of
      { GHC.Types.F# dt3 ->
      case $wf
             @ '[0, 2]
             (CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith19
              `cast` <Co:6362>)
      of
      { GHC.Types.F# dt5 ->
      case $wf
             @ '[0, 3]
             (CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith17
              `cast` <Co:6362>)
      of
      { GHC.Types.F# dt7 ->
      case $wf
             @ '[1, 0]
             (CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith15
              `cast` <Co:6362>)
      of
      { GHC.Types.F# dt9 ->
      case $wf
             @ '[1, 1]
             (CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith13
              `cast` <Co:6376>)
      of
      { GHC.Types.F# dt11 ->
      case $wf
             @ '[1, 2]
             (CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith11
              `cast` <Co:6376>)
      of
      { GHC.Types.F# dt13 ->
      case $wf
             @ '[1, 3]
             (CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith9
              `cast` <Co:6376>)
      of
      { GHC.Types.F# dt15 ->
      case $wf
             @ '[2, 0]
             (CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith7
              `cast` <Co:6362>)
      of
      { GHC.Types.F# dt17 ->
      case $wf
             @ '[2, 1]
             (CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith5
              `cast` <Co:6376>)
      of
      { GHC.Types.F# dt19 ->
      case $wf
             @ '[2, 2]
             (CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith3
              `cast` <Co:6376>)
      of
      { GHC.Types.F# dt21 ->
      case $wf
             @ '[2, 3]
             (CoreDump.Matrix.Transpose.$s$fDemoteWithkxkctxctx:_$cdemoteWith1
              `cast` <Co:6376>)
      of
      { GHC.Types.F# dt23 ->
      (TensorInstances.Tensor'3'4'Float
         dt1 dt3 dt5 dt7 dt9 dt11 dt13 dt15 dt17 dt19 dt21 dt23)
      `cast` <Co:2>
      }
      }
      }
      }
      }
      }
      }
      }
      }
      }
      }
      }


------ 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