[Haskell-beginners] applicative default structure

[Ovidiu Deac]

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 at 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 at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/beginners/attachments/20161222/afdc046d/attachment.html>