JavaScript library that provides type checking based on the structural compatibility of function arguments and return values.