0 | module Control.Monad.Spawn
1 |
2 | %default total
3 |
4 | public export
5 | interface Monad m => CanSpawn m where
6 |   spawn : m Unit -> m Unit
7 |