Can PureScript's Effect and Aff monads be unified into a single effect-parameterized monad?
When designing a new PureScript library, I need to decide whether to expose both Effect and Aff interfaces or to bet on a future unified effect monad. The Effect type tracks synchronous side effects through a phantom effect row, while Aff layers asynchronous, cancellable computations on top of that foundation. Today the language keeps these monads distinct,