{-# htermination fromInt :: Num a => Int -> a #-}