Container Compendium

Monad.idr

1 min read

namespace Any
  public export
  join : Any.Maybe (Any.Maybe a) =&> Any.Maybe a
 
namespace All
  public export
  join : All.Maybe (All.Maybe a) =&> All.Maybe a