25 Oct
2013
25 Oct
'13
4:04 a.m.
On Fri, Oct 25, 2013 at 10:44 AM, KwangYul Seo
2) newtype Void = Void Void
It's a Catch-22: you: So tell me how to create smth of type Void newtype: Sure, I can do that! After all, I'm the declaration of the type, aren't I? But first, you gotta do something for me. you: Ok, what's that? newtype: gimme smth of type Void --- MWAHAHAHAHA you: (trolled hard) -- Kim-Ee -- Kim-Ee