Source   : [! Add(3:i8, 5:i8), 7:i8 !]:i8[2]
Converted: [! Num<r8>(Add(3:i8, 5:i8)), 7:r8 !]:r8[2]
Reducer: [! 8:r8, 7:r8 !]:r8[2]
