Enforce an assumption with the type system