这编译
foo ma = case ma of
[Just a] -> newRVar 0 >>= a
view :: forall a eff.
M.Map String (Linker Number a eff) ->
String ->
Eff (reactive :: Reactive | eff) Unit
view m yaml = case parseYAML yaml of
Right (View xs) -> case (flip M.lookup) m <$> xs of
(as) -> foo as
这不
foo ma = case ma of
Just a -> newRVar 0 >>= a
view :: forall a eff.
M.Map String (Linker Number a eff) ->
String ->
Eff (reactive :: Reactive | eff) Unit
view m yaml = case parseYAML yaml of
Right (View xs) -> case (flip M.lookup) m <$> xs of
(as) -> foo <$> as
出现以下错误:
Cannot unify Control.Monad.Eff.Eff (reactive :: Control.Reactive.Reactive | u8437) u8438 with Prelude.Unit.
为什么?