testdata/stricttypeann.reject.wip.lc


1
2
3
4
5
6
7
8
9
10
11
12
13

{-# LANGUAGE NoImplicitPrelude #-}
{-# LANGUAGE TraceTypeCheck #-}

import Internals

g :: Num b => b

data Output where
    Out :: a -> Output

f = Out g :: Output