==================== Tidy Core ====================
2017-09-08 01:38:45.1889483 UTC

Result size of Tidy Core
  = {terms: 32, types: 37, coercions: 1, joins: 0/0}

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

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

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

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

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

-- RHS size: {terms: 17, types: 26, coercions: 1, joins: 0/0}
getColElems_ :: Matrix 4 4 Float -> [Float]
getColElems_
  = \ (w :: Matrix 4 4 Float) ->
      case w `cast` <Co:1> of
      { TensorInstances.Tensor'4'4'Float ww1 ww2 ww3 ww4 ww5 ww6 ww7 ww8
                                         ww9 ww10 ww11 ww12 ww13 ww14 ww15 ww16 ->
      GHC.Types.:
        @ Float
        (GHC.Types.F# ww4)
        (GHC.Types.:
           @ Float
           (GHC.Types.F# ww8)
           (GHC.Types.:
              @ Float
              (GHC.Types.F# ww12)
              (GHC.Types.: @ Float (GHC.Types.F# ww16) (GHC.Types.[] @ Float))))
      }