Skip to content

Instantly share code, notes, and snippets.

Embed
What would you like to do?
type family CanRelease a b :: Bool
type CR a b = CanRelease a b ~ True
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment