
24 Jan
2017
24 Jan
'17
4:09 a.m.
Hello thanks for your time.
I would let the compiler deal with the type, i.e. skip the ` :: [Maybe Int]`.
It was just a reduced example of my real problem. And I wanted to express the type for th ehuman of the mailing list :)
Wrapping the list *and* its items in `IO` seems excessive. Would it not be easier to have `values :: IO [Maybe Int]`?
No because the Maybe Int comes from an IO. But we solved the problem using the MaybeT MaybeT IO MyDataType So as you said, I rethink this with the help of the mailing list guyes. Thansk a lot Frederic