Skip to content

Instantly share code, notes, and snippets.

@RyanGlScott

RyanGlScott/gist:2404f1cee58152e1dd483d5b37a5ab7d

Last active May 16, 2019 13:16
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save RyanGlScott/2404f1cee58152e1dd483d5b37a5ab7d to your computer and use it in GitHub Desktop.
Save RyanGlScott/2404f1cee58152e1dd483d5b37a5ab7d to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.hs
{-# 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