blob: c7b97837f8944436c56efbb661eebfa660beed85 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
{-# LANGUAGE ScopedTypeVariables #-}
-- !!! Scoped type variables: result sig
module Test where
f :: Int -> Int
f x :: Int = x
g :: Int -> Int
g x :: a = x :: a -- Here, a is a name for Int
|