path: root/testsuite/tests/typecheck/should_fail/GivenForallLoop.hs

{-# LANGUAGE TypeFamilies, ImpredicativeTypes #-}

module GivenForallLoop where

type family F a b

loopy :: (a ~ (forall b. F a b)) => a -> b
loopy x = x