1 2 3 4 5 6 7 8 9 10
{-# LANGUAGE RankNTypes #-} module T10615 where f1 :: _ -> f f1 = const f2 :: _ -> _f f2 = const