module Ppr050 where

-- standalone kind signature
type (:::) :: Int

type Ord :: a :: Foo