CUE prototype with function types and universal quantifiers. For more information see the paper or the informal explainer. You might also want to consult the type listing.
Press Run to see the result.