Remove the type-checking knot.
[ghc.git] / testsuite / tests / polykinds / T10516.hs
1 {-# LANGUAGE PolyKinds #-}
2 module T10516 where
3
4 type App f a = f a
5
6 newtype X f a = X (f a)
7
8 f :: f a -> X (App f) a
9 f = X