3 ================================================================================
7 {PrelBase.Num{-2c,p-} PrelBase.Int{-3g,p-}}
13 -> PrelBase.Int{-3g,p-}
14 -> PrelBase.Int{-3g,p-}
18 _@_ PrelBase.Int{-3g,p-} d.Num_aHu
20 {PrelBase.Num{-2c,p-} PrelBase.Int{-3g,p-}}
25 PrelBase.Int{-3g,p-} -> PrelBase.Int{-3g,p-}
28 PrelBase.fromInt{-8R,p-}
29 _@_ PrelBase.Int{-3g,p-} d.Num_aHy
39 PrelBase.I#{-5b,p-}{i}