0 | module Control.Applicative.Concurrent 1 | 2 | %default total 3 | 4 | public export 5 | interface ConcurrentApplicative m where 6 | Concurrent : Applicative m 7 |