outvariant

Type-safe implementation of invariant with positionals.

// repository documentation