Breakpoint 0 activated at Test.hs:40:10-17
Stopped in Test.Test2.poly, Test.hs:40:10-17
_result :: () = _
x :: a = _
x = (_t1::a)
x :: a
()
x = Unary
x :: Unary
Unary