search

IxpertaSolutions / freer-effects

An implementation of "Freer Monads, More Extensible Effects".
BSD 3-Clause "New" or "Revised" License
65 stars 12 forks source link

Using state requires type signature #34

Open michaelmesser opened 7 years ago

michaelmesser commented 7 years ago 
main = putStrLn . run . flip execState "Test" $ do
    modify id

Overlapping instances for Data.OpenUnion.Internal.FindElem (State s0) '[State [Char]]

If I type id as String -> String it works but I feel like that the type signature should not be required.