Parameter type-safety