1 2 3 4 5 6
{-# LANGUAGE KindSignatures #-} module T15781 where import Data.Kind type F = Int :: Type