Skip to content

Instantly share code, notes, and snippets.

Embed
What would you like to do?
GHC Trac #10832
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