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

{-# LANGUAGE PolyKinds #-}
module T16456 where

data T p = MkT

foo :: T Int
foo = _