:: Monoid_a _ => _ a -package:base -package:streamly package:effectful-core

The identity of <|>