definition module IRCBot
-from IRC import :: IRCMessage
-from Data.Maybe import :: Maybe
from Data.Error import :: MaybeErrorString, :: MaybeError
+from Data.Maybe import :: Maybe
+
+from IRC import :: IRCMessage
/*
* Spawn an IRC Bot
* param: World
* return: Maybe an error, the state and the new world
*/
-bot :: (String, Int) [IRCMessage] [IRCMessage] .a (IRCMessage -> (.a -> .(*World -> *(Maybe [IRCMessage], .a, *World)))) *World -> *(Maybe String, .a, *World)
+bot :: (String, Int) [IRCMessage] [IRCMessage] .a (IRCMessage -> (.a -> *(*World -> *(Maybe [IRCMessage], .a, *World)))) !*World -> *(Maybe String, .a, !*World)