path: root/testsuite/tests/indexed-types/should_fail/T10817.hs

{-# LANGUAGE TypeFamilies #-}

module T10817 where

import Data.Proxy

class C a where
  type F a
  type F a = F a

instance C Bool

x :: Proxy (F Bool)
x = Proxy