From 322b6ff1ec6392c0defac02e9994ff8815efe4f4 Mon Sep 17 00:00:00 2001
From: KisaragiEffective <48310258+KisaragiEffective@users.noreply.github.com>
Date: Sun, 4 Apr 2021 00:10:07 +0900
Subject: [PATCH] fix type alias

make `F` higher-order type variable in L.485
---
 _sips/sips/2017-09-20-opaque-types.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/_sips/sips/2017-09-20-opaque-types.md b/_sips/sips/2017-09-20-opaque-types.md
index f18a45a5c7..8580764b31 100644
--- a/_sips/sips/2017-09-20-opaque-types.md
+++ b/_sips/sips/2017-09-20-opaque-types.md
@@ -482,7 +482,7 @@ opaque type `Fix`:
 
 ```scala
 package object fixed {
-  opaque type Fix[F_]] = F[Fix[F]]
+  opaque type Fix[F[_]] = F[Fix[F]]
 
   object Fix {
     def fix[F[_]](unfixed: F[Fix[F]]): Fix[F] = unfixed