Concurrent Euclid Positive Strong Influence
Haskell Extension of