From 5a5c0e008ca6388ab0f704b6202ee0fa693335d7 Mon Sep 17 00:00:00 2001 From: Robert Stoll Date: Wed, 12 Jun 2019 08:02:46 +0200 Subject: [PATCH] [Doc] remove unnecessary ` --- docs/docs/reference/other-new-features/kind-polymorphism.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/docs/reference/other-new-features/kind-polymorphism.md b/docs/docs/reference/other-new-features/kind-polymorphism.md index 2cdd89cf1669..0f3899a42a46 100644 --- a/docs/docs/reference/other-new-features/kind-polymorphism.md +++ b/docs/docs/reference/other-new-features/kind-polymorphism.md @@ -28,7 +28,7 @@ f[Map] f[[X] =>> String] ``` -We call type parameters and abstract types with an `AnyKind` upper bound _any-kinded types_`. +We call type parameters and abstract types with an `AnyKind` upper bound _any-kinded types_. Since the actual kind of an any-kinded type is unknown, its usage must be heavily restricted: An any-kinded type can be neither the type of a value, nor can it be instantiated with type parameters. So about the only thing one can do with an any-kinded type is to pass it to another any-kinded type argument.