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

{-# LANGUAGE RankNTypes #-}
module T12966 where
-- This should fail with a proper error message, not a compiler panic.
type Maybeify c = forall d. (c d) => ((~) (Maybe d))