Trait Convolutional 

pub trait Convolutional<F: HKT>: Semigroupal<F> { }

Marker. Promises that φ associates under Day convolution: a monoid object in (End(𝒞), ⊛, Id).

The promise is zip(zip(a, b), c) ≅ zip(a, zip(b, c)) up to reassociation, together with the naturality of φ. The compiler cannot check either, so implementing this trait is an assertion by the developer.

Carries the same no-inference discipline as Compositional, and the same coherence obligation when a witness holds both.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors