14 Jan
2009
14 Jan
'09
4:29 p.m.
Am Mittwoch, 14. Januar 2009 22:11 schrieb Conrad Meyer:
On Wednesday 14 January 2009 01:07:06 pm Daniel Fischer wrote:
If the types of things held weren't specified on the left, what type could firstOfTuple have?
Polymorphic (i.e. any) type.
You mean firstOfTuple :: exists a. MyTuple -> a ? As of now, that's an illegal type.