Expected a type

Wojtek Narczyński wojtek at power.com.pl
Mon Feb 8 20:34:18 UTC 2016

On 08.02.2016 20:53, Reid Barton wrote:
> Normally the reason to define a function is so that you can apply it 
> to something. But there are no values of the promoted type A to apply 
> f to, aside from perhaps undefined. What would be the purpose of 
> allowing this?

Okay, this would be of no use.

It didn't occur to me that there is currently no way to have values of 
types A and B.


More information about the ghc-devs mailing list