Skip to content

Instantly share code, notes, and snippets.

Embed
What would you like to do?
{-# LANGUAGE ConstraintKinds #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE NamedWildCards #-}
{-# LANGUAGE PartialTypeSignatures #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE TypeApplications #-}
{-# OPTIONS_GHC -Wno-partial-type-signatures #-}
module Foo where
import Data.Kind
import Data.Proxy
type HasKind (a :: k) = (() :: Constraint)
f :: HasKind @[_] a => Proxy a
f = Proxy
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment