3 ms·

Can you not combine effects into unions and/or intersections resulting in more abstract effects?

• nextaccountic 2y ago
  In real world languages with effects, like F* or Koka, you can