Skip to content

Instantly share code, notes, and snippets.

@Icelandjack

Icelandjack/Inj.markdown

Created October 20, 2018 17:37
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 Icelandjack/dbd0447d2fe0a8cdc332f95bfeabb0d6 to your computer and use it in GitHub Desktop.
Save Icelandjack/dbd0447d2fe0a8cdc332f95bfeabb0d6 to your computer and use it in GitHub Desktop.
Download ZIP
GHC Trac #10832
Raw
Inj.markdown 
data Kl_kind :: (Type -> Type) -> Type where
  Kl :: Type -> Kl_kind(m)
  
type family
  UnKl (kl :: Kl_kind m) = (res :: Type) | res m -> kl where
  UnKl (Kl a) = a
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment