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 <imantc@gmail.com> wrote:
> 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