All data-types use BAG[_] for allowing any effect type to be used by providing a Bag implementation (Eg: ZIO or Try).
Task
If there is a cost for using BAG[_] then it should be removed and target implementations for each effect type should be generated via macros or just create copies from a template implementation (easier to debug).
Or just support None (no effect type), Try & Future and have x-interop-* projects provide transformations for each.
Overview
All data-types use
BAG[_]
for allowing any effect type to be used by providing aBag
implementation (Eg:ZIO
orTry
).Task
If there is a cost for using
BAG[_]
then it should be removed and target implementations for each effect type should be generated via macros or just create copies from a template implementation (easier to debug).Or just support None (no effect type),
Try
&Future
and havex-interop-*
projects provide transformations for each.