f x = y :: Float where
          r = fromInt 2
          y = r * cos x

-- (*)     :: Num a => a -> a -> a
-- fromInt :: Num a => Int -> a
-- cos     :: Floating a => a -> a