blob: 84eb75c82fdc8a1178147bfba1c56fe0b567ebee (
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
|