==================== Tidy Core ====================
2017-09-08 01:36:29.0841656 UTC

Result size of Tidy Core
  = {terms: 72, types: 120, coercions: 4, joins: 0/0}

-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
CoreDump.Tensor.Append_2.$trModule4 :: GHC.Prim.Addr#
CoreDump.Tensor.Append_2.$trModule4 = "main"#

-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
CoreDump.Tensor.Append_2.$trModule3 :: GHC.Types.TrName
CoreDump.Tensor.Append_2.$trModule3
  = GHC.Types.TrNameS CoreDump.Tensor.Append_2.$trModule4

-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
CoreDump.Tensor.Append_2.$trModule2 :: GHC.Prim.Addr#
CoreDump.Tensor.Append_2.$trModule2 = "CoreDump.Tensor.Append_2"#

-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
CoreDump.Tensor.Append_2.$trModule1 :: GHC.Types.TrName
CoreDump.Tensor.Append_2.$trModule1
  = GHC.Types.TrNameS CoreDump.Tensor.Append_2.$trModule2

-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
CoreDump.Tensor.Append_2.$trModule :: GHC.Types.Module
CoreDump.Tensor.Append_2.$trModule
  = GHC.Types.Module
      CoreDump.Tensor.Append_2.$trModule3
      CoreDump.Tensor.Append_2.$trModule1

-- RHS size: {terms: 57, types: 76, coercions: 4, joins: 0/0}
append_2_
  :: Tensor '[2, 3, 4] Float
     -> Tensor '[2, 3, 4] Float -> Tensor '[2, 3, 8] Float
append_2_
  = \ (st :: Tensor '[2, 3, 4] Float)
      (t :: Tensor '[2, 3, 4] Float) ->
      case st `cast` <Co:1> of
      { TensorInstances.Tensor'2'3'4'Float dt dt1 dt2 dt3 dt4 dt5 dt6 dt7
                                           dt8 dt9 dt10 dt11 dt12 dt13 dt14 dt15 dt16 dt17 dt18 dt19
                                           dt20 dt21 dt22 dt23 ->
      case t `cast` <Co:1> of
      { TensorInstances.Tensor'2'3'4'Float dt29 dt30 dt31 dt32 dt33 dt34
                                           dt35 dt36 dt37 dt38 dt39 dt40 dt41 dt42 dt43 dt44 dt45
                                           dt46 dt47 dt48 dt49 dt50 dt51 dt52 ->
      (TensorInstances.Tensor'2'3'8'Float
         dt
         dt1
         dt2
         dt3
         dt29
         dt30
         dt31
         dt32
         dt4
         dt5
         dt6
         dt7
         dt33
         dt34
         dt35
         dt36
         dt8
         dt9
         dt10
         dt11
         dt37
         dt38
         dt39
         dt40
         dt12
         dt13
         dt14
         dt15
         dt41
         dt42
         dt43
         dt44
         dt16
         dt17
         dt18
         dt19
         dt45
         dt46
         dt47
         dt48
         dt20
         dt21
         dt22
         dt23
         dt49
         dt50
         dt51
         dt52)
      `cast` <Co:2>
      }
      }