For example: ``` let f x = x + 1 ``` Highlight f and press Shift+Alt+~ should produce: ``` val f :: Num a => a -> a let f x = x + 1 ```