| data IOSpec : Type -> Type where | |
| Bind : IOSpec a -> (a -> IOSpec b) -> IOSpec b | |
| -- Or, using our Cont type alias | |
| data IOSpec : Type -> Type where | |
| Bind : IOSpec a -> Cont (IOSpec b) a |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment