From 47b77467873591d1681450ca7c1dcfc723c61bd7 Mon Sep 17 00:00:00 2001
From: "Johan B.W. de Vries" <info@jbwdevries.nl>
Date: Tue, 11 Apr 2023 09:52:27 +0200
Subject: [PATCH] Type fix

---
 phasm/type3/types.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/phasm/type3/types.py b/phasm/type3/types.py
index 2b03173..89b788b 100644
--- a/phasm/type3/types.py
+++ b/phasm/type3/types.py
@@ -154,7 +154,7 @@ class AppliedType3(Type3):
     """
     __slots__ = ('base', 'args', )
 
-    base: PrimitiveType3
+    base: Union[PrimitiveType3, MonadType3]
     """
     The base type
     """
@@ -164,7 +164,7 @@ class AppliedType3(Type3):
     The applied types (or placeholders there for)
     """
 
-    def __init__(self, base: PrimitiveType3, args: Iterable[Type3OrPlaceholder]) -> None:
+    def __init__(self, base: Union[PrimitiveType3, MonadType3], args: Iterable[Type3OrPlaceholder]) -> None:
         args = [*args]
         assert args, 'Must at least one argument'