--================================================================================
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'