GitLab

When attempting to load this code in ghci with ghc-8.0.1, I get an infinite loop while it attempts to display the error:

{-# LANGUAGE TypeFamilies #-}

class C a where
  type family F a t :: *

  type family T a :: *
  type T a = F a

catbug :: ~/Scratch/ast-experiment » ghci test.hs
GHCi, version 8.0.1: http://www.haskell.org/ghc/  :? for help
Loaded GHCi configuration from /Users/trevor/.ghci
[1 of 1] Compiling Main             ( test.hs, interpreted )

test.hs:7:14: error: