testsuite/tests/typecheck/should_fail/tcfail225.hs


1
2
3
4
5
6
7
8
9

{-# LANGUAGE PolyKinds, GADTs #-}
{-# LANGUAGE NoCUSKs #-}

module TcFail225 where

import Data.Kind (Type)

data T (m :: k -> Type) :: k -> Type where
  MkT :: m a -> T Maybe (m a) -> T m a