GHC hangs with recursive dependency in closed type family

The following code hangs GHC:

{-# LANGUAGE TypeFamilies #-}

data Foo a = Bar (F a)

type family F a where
  F (Foo a) = Bool

Trac metadata

Trac field	Value
Version	7.7
Type	Bug
TypeOfFailure	OtherFailure
Priority	normal
Resolution	Unresolved
Component	Compiler
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture