This repository has been archived by the owner on Dec 17, 2020. It is now read-only.

Using state requires type signature #34

Open

michaelmesser opened this issue Apr 17, 2017 · 0 comments

michaelmesser commented Apr 17, 2017

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.

The text was updated successfully, but these errors were encountered:

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.