1 2 3 4 5 6 7 8 9
-- Test for #2414 -- Should provoke an occurs-check error module ShouldFail where unfoldr :: (b -> Maybe (Bool, b)) -> Bool unfoldr = unfoldr f = unfoldr Just