module T7869 where

f = (\x -> f x) :: [a] -> b