22 Dec
2016
22 Dec
'16
10:18 a.m.
My understanding is that x can take any form required for type-inference.
That's fine but what is the "default" structure if you don't specify any?
On Thu, Dec 22, 2016 at 5:13 PM, Imants Cekusins
What is f here?
anything Applicative:
Prelude> let a1 = pure 1 Prelude> let a2 = pure 1
Prelude> (a1::Maybe Int) == a2 True Prelude> (a1::Maybe Float) == a2 True Prelude> (a1::Either String Float) == a2 True
_______________________________________________ Beginners mailing list Beginners@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners