{-# htermination recip :: Fractional a => a -> a #-}