From 1df921400bd46b1367302953df022c4271afed6e Mon Sep 17 00:00:00 2001
From: Dmitry Zuikov <dzuikov@gmail.com>
Date: Sat, 11 Feb 2023 10:24:35 +0300
Subject: [PATCH] pep-02 updated

---
 docs/drafts/pep-02-acb.txt | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/docs/drafts/pep-02-acb.txt b/docs/drafts/pep-02-acb.txt
index dbe0686f..70edc230 100644
--- a/docs/drafts/pep-02-acb.txt
+++ b/docs/drafts/pep-02-acb.txt
@@ -29,13 +29,14 @@ Curve25519 (?), т.е ключевую пару асимметричного ш
 
 -- PubKey 'Sign e ;;; ключ подписи Ed25519
 
-data family ACB e schema :: Type
+data ACBSchema = NaClAsymm
+
+data family ACB e (schema :: ACBSchema) :: Type
 
 data family AccessKey e schema :: Type
 
-data ACBSchema = NaClAsymm
 
-data instance ACB e NaClAsymm  =
+data instance ACB e 'NaClAsymm  =
   ACBNaClAsymm
   { acbParent   :: HashRef              -- указатель на предыдущий ACB
   , acbRoot     :: PubKey 'Sign e       -- корневой владелец
@@ -63,7 +64,7 @@ data instance ACB e NaClAsymm  =
 -- EncryptedBox - обертка вокруг ключа ассиметричного шифрования
 --                (KeyPAir)
 
-newtype instance AccessKey e NaClAsymm =
+newtype instance AccessKey e 'NaClAsymm =
   AccessKeyNaClAsymm
   { permitted :: [(PubKey 'Sign e, EncryptedBox)]
   }