Struct NoConstraint 

pub struct NoConstraint;

The universal constraint — every type satisfies it.

Use this constraint for fully polymorphic HKT implementations like Vec, Option, Box, etc., where no specific bounds are required on the inner type.

Example

use deep_causality_haft::{Satisfies, NoConstraint};

// This blanket impl means String, Vec<u8>, custom types, etc. all satisfy NoConstraint
fn accepts_any<T: Satisfies<NoConstraint>>(_: T) {}

accepts_any("hello");
accepts_any(42);
accepts_any(vec![1, 2, 3]);