Uses the expect-type package to assert type matching.
Uses the expect-type package to assert type matching. Does not actually do anything at run-time (like throwing errors).
Run-time value to type check.
Uses the expect-type package to assert type matching.