Sync symantic with symantic-document.

[haskell/symantic.git] / symantic-lib / Language / Symantic / Lib / Monad.hs

diff --git a/symantic-lib/Language/Symantic/Lib/Monad.hs b/symantic-lib/Language/Symantic/Lib/Monad.hs
index 186ff02c2ed999af4f25ecac63fdc68576eff9cb..be0a36b98b01fc13602ee6f2279ec6310ac4e9b0 100644 (file)
--- a/symantic-lib/Language/Symantic/Lib/Monad.hs
+++ b/symantic-lib/Language/Symantic/Lib/Monad.hs
@@ -58,6 +58,8 @@ instance (Sym_Monad r1, Sym_Monad r2) => Sym_Monad (Dup r1 r2) where
 instance (Sym_Monad term, Sym_Lambda term) => Sym_Monad (BetaT term)
 
 -- Typing
+instance NameTyOf Monad where
+       nameTyOf _c = ["Monad"] `Mod` "Monad"
 instance FixityOf Monad
 instance ClassInstancesFor Monad
 instance TypeInstancesFor Monad