On Fri, Oct 25, 2013 at 10:44 AM, KwangYul Seo <skyul@company100.com> wrote:
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