ghc-exactprint-0.5.0.0: tests/examples/ghc8/T10516.hs
{-# LANGUAGE PolyKinds #-}
module T10516 where
type App f a = f a
newtype X f a = X (f a)
f :: f a -> X (App f) a
f = X
{-# LANGUAGE PolyKinds #-}
module T10516 where
type App f a = f a
newtype X f a = X (f a)
f :: f a -> X (App f) a
f = X