Hence why in the system I am working on at the mom...

# language-proposals

[jkbbwr]

Hence why in the system I am working on at the moment, we have an Applicable interface which has both verify(t: T): Result<Nothing> and apply(t: T): Result<T>