interface ConcurrentApplicative : (Type -> Type) -> Type
Concurrent : Applicative m
Concurrent : ConcurrentApplicative m => Applicative m