Expected a type

[Wojtek Narczyński]

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.

-- 
Wojtek