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

w8 = \ x -> x

w16 = \ x -> x

w32 = \ x -> x

w64 = \ x -> x

w = \ x -> x

i8 = \ x -> x

i16 = \ x -> x

i32 = \ x -> x

i64 = \ x -> x

i = \ x -> x