blob: db1e564a14163c0ab7cf3822fe51ca4cc9eaceb8 (
plain)
1
2
3
4
5
6
7
8
9
|
{-# LANGUAGE ExplicitForAll, PartialTypeSignatures #-}
module Bug where
g,h:: forall a. a -> _
g x = x -- Instantiates the wildcard to 'a'
h x = True -- Instantiates the wildcard to Bool
|