Category "purescript"

PureScript - Inferred Type Causes Compiler Warning

Consider the following simple snippet of PureScript code a :: Int a = 5 b :: Int b = 7 c = a + b main ∷ Effect Unit main = do logShow c The program

Understanding the Reader monad

I'm reading PureScript by Example and got to the part introducing the Reader monad. The example goes like this: createUser :: Reader Permissions (Maybe User) c