Saurabh Nanda

@meditans @mgmeier @wz1000 @sras looking for some feedback here. Planning to kickstart the documentation process and finishing off documentation for what we've done till now, before moving on to the...

> What does (Tenant (InactiveTenant NewTenant)) mean? A tenant, in the inactive state, because it's a new-tenant and is awaiting email verification. The third term is the reason why the...

> Ah, thanks. I guess including the definitions would clarify things here. Done :)

> I'm curious myself how far one can go with it. The obvious advantage would be that you now can't write code that would call for example disableTenant on an...

> But you have one function to load those! What would be its signature? Wow! Didn't realise that this would be so hard. How do library functions like `parseJSON` and...

> if you employ some higher order stuff then you probably stick some foralls so that what you read doesn't have those guarantees Don't think I understand this very well....

> I believe we can use a record to store detailed information about the tenant? rather than solving everything with ADT? I do understand that you want to enforce the...

@wz1000 thanks for taking a stab at this. Seems like something that could work. If I've understood this correctly, you're working with a more general 'SomeTenant`type and converting to an`ActiveTenant`or`InactiveTenant`...

@wz1000 And thinking about this pragmatically, isn't this simply pushing the "data validation or sanity checks" from `activateTenant` to `mkActiveTenant`? Is this really achieving anything in real terms? How bad...

@HappyAndHarmless any first hand accounts from your side about Elm or Purescript?