[ghc-hetmet.git] / ghc / compiler / tests / typecheck / should_succeed / tc040.hi

interface ShouldSucceed where {
import PreludeCore(Eq)
f  ::  Eq a => a -> [a]
}