From d96e23d9548fc9172ce7cb9994390223bfbeeb12 Mon Sep 17 00:00:00 2001 From: Steve Dunham Date: Mon, 28 Oct 2024 21:48:00 -0700 Subject: [PATCH] this can be inferred --- newt/TypeClass.newt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/newt/TypeClass.newt b/newt/TypeClass.newt index 0e53194..44bbc70 100644 --- a/newt/TypeClass.newt +++ b/newt/TypeClass.newt @@ -40,7 +40,7 @@ bindMaybe (Just a) amb = amb a -- I think it was picking up the Maybe before I made it less aggressive about eval MaybeMonad : Monad Maybe -MaybeMonad = MkMonad {Maybe} bindMaybe +MaybeMonad = MkMonad bindMaybe -- So the idea here is to have some implicits that are solved by search