path: root/testsuite/tests/ghc-regress/indexed-types/should_fail/T4093a.hs

{-# LANGUAGE TypeFamilies #-}
module T4093a where

type family Foo x
type instance Foo () = Maybe ()

hang :: (Foo e ~ Maybe e) => Foo e
hang = Just ()