task is just a container

3 files changed, 14 insertions, 20 deletions

diff --git a/docs/type_system/fn.md b/docs/type_system/fn.md
index 64c49db..6ba8c1d 100644
--- a/docs/type_system/fn.md
+++ b/docs/type_system/fn.md
@@ -14,8 +14,6 @@ Fn[Fn_class; RETURN_TYPE; ARGS; STATE; List]
 
 ## \`yield
 
-## \`error
-
 # Calling
 
 ## \`async
diff --git a/docs/type_system/task.md b/docs/type_system/task.md
index 099ac19..475d81a 100644
--- a/docs/type_system/task.md
+++ b/docs/type_system/task.md
@@ -5,24 +5,9 @@
 An asynchronous encapsulation
 
 ```text
-Task[TYPE; Error]
-```
-
-## \`await
-
-```
-v : `await task // value is in v or error is thrown
-```
-
-# Matching
+Task_status `alias Enum[...]
 
-```text
-# `await task {
-    .value { v ... }[v]
-    .error { e ... }[e]
-}
+Task[Task_status; TYPE]
 ```
 
-## .value
-
-## .error
+## \`await
diff --git a/docs/type_system/union.md b/docs/type_system/union.md
index 57eedb4..f2c4ae0 100644
--- a/docs/type_system/union.md
+++ b/docs/type_system/union.md
@@ -14,3 +14,14 @@ u : Union[I64.a; I64.b; I64.c] $ (.c : 5)
     { ... } // default
 }
 ```
+## Alias
+
+```text
+Result[ANY] `alias Union[ANY.value; Error.error]
+```
+
+## \`take
+
+```text
+value : .value `take 10 / var
+```