+
+--================================================================================
+Typechecked:
+AbsBinds
+[`t{-aHp-}', `t{-aHr-}', `t{-aHm-}']
+[`d.Num']
+[([`t{-aHp-}', `t{-aHr-}', `t{-aHm-}'], `f', `f')]
+ `fromInt' =
+ `PrelBase.fromInt'
+ `t{-aHm-}'
+ `d.Num'
+ `lit' =
+ `fromInt'
+ `PrelBase.I#'
+ 2#
+ `f' `x' `x' = `lit'