Modules

specify a return type for a function (optionally with coercion)