Add type signature for inlined function

VL2.tex

@@ -141,6 +141,7 @@ We use \code{where} to define a helper function:
 f :: Int -> Int
 f x = x + (y 2)
   where
+    y :: Int -> Int
     y p = x + p
 \end{haskellcode}
 \end{frame}