tcfail102.hs 149 Bytes
Newer Older
1
2
module ShouldFail where

3
import Data.Ratio
4
5
6
7
8

data Integral a => P a = P { p :: a }

f :: Integral a => P (Ratio a) -> P (Ratio a)
f x = x { p = p x }