summaryrefslogtreecommitdiff
path: root/lib/ur/basis.urs
diff options
context:
space:
mode:
Diffstat (limited to 'lib/ur/basis.urs')
-rw-r--r--lib/ur/basis.urs2
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs
index d69ddfcb..87f20d6b 100644
--- a/lib/ur/basis.urs
+++ b/lib/ur/basis.urs
@@ -71,7 +71,7 @@ val read_time : read time
(** * Monads *)
-class monad :: Type -> Type
+class monad :: (Type -> Type) -> Type
val return : m ::: (Type -> Type) -> t ::: Type
-> monad m
-> t -> m t