Skip to content

Instantly share code, notes, and snippets.

Embed
What would you like to do?
Effect : (m: Type -> Type) -> (r: Type) -> Type
Effect m r = PipeM Void Void Void m r
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment