# Pastebin euO9O1VL
==================== Tidy Core ====================
Result size of Tidy Core
  = {terms: 82, types: 51, coercions: 0, joins: 0/0}

-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
$trModule4 :: Addr#
$trModule4 = "main"#

-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
$trModule3 :: TrName
$trModule3 = TrNameS $trModule4

-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
$trModule2 :: Addr#
$trModule2 = "Ex"#

-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
$trModule1 :: TrName
$trModule1 = TrNameS $trModule2

-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
$trModule :: Module
$trModule = Module $trModule3 $trModule1

-- RHS size: {terms: 2, types: 2, coercions: 0, joins: 0/0}
ints7 :: Int
ints7 = errorWithoutStackTrace readEither5

-- RHS size: {terms: 2, types: 2, coercions: 0, joins: 0/0}
ints6 :: Int
ints6 = errorWithoutStackTrace readEither2

-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
ints9 :: Addr#
ints9 = "5"#

-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
ints8 :: [Char]
ints8 = unpackCString# ints9

-- RHS size: {terms: 16, types: 14, coercions: 0, joins: 0/0}
ints5 :: Int
ints5
  = case readEither8 (run ($fReadInt1 minPrec readEither7) ints8)
    of {
      [] -> ints7;
      : x ds ->
        case ds of {
          [] -> x;
          : ipv ipv1 -> ints6
        }
    }

-- RHS size: {terms: 7, types: 2, coercions: 0, joins: 0/0}
ints11 :: Int
ints11 = case ints5 of { I# y -> I# (*# 2# y) }

-- RHS size: {terms: 7, types: 2, coercions: 0, joins: 0/0}
ints10 :: Int
ints10 = case ints5 of { I# y -> I# (*# 3# y) }

-- RHS size: {terms: 7, types: 2, coercions: 0, joins: 0/0}
ints4 :: Int
ints4 = case ints5 of { I# y -> I# (*# 4# y) }

-- RHS size: {terms: 3, types: 2, coercions: 0, joins: 0/0}
ints3 :: [Int]
ints3 = : ints4 []

-- RHS size: {terms: 3, types: 1, coercions: 0, joins: 0/0}
ints2 :: [Int]
ints2 = : ints10 ints3

-- RHS size: {terms: 3, types: 1, coercions: 0, joins: 0/0}
ints1 :: [Int]
ints1 = : ints11 ints2

-- RHS size: {terms: 3, types: 1, coercions: 0, joins: 0/0}
ints :: [Int]
ints = : ints5 ints1