blob: fbc314061cf1f8315d8519ac067bfdf5ed49c709 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
{-# LANGUAGE ScopedTypeVariables #-}
-- #3406
-- A pattern signature that discards the bound variables
module T3406 where
type ItemColID a b = Int -- Discards a,b
get :: ItemColID a b -> a -> ItemColID a b
get (x :: ItemColID a b) = x :: ItemColID a b
|