Traits

  • trait to allow expr to typable with respect to a schema