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