path: root/testsuite/tests/dependent/should_fail/T12081.hs

{-# LANGUAGE DataKinds, PolyKinds #-}

module T12081 where

data Nat = Z | S Nat

class C (n :: Nat) where
  type T n :: Nat
  f :: (a :: T n)