Hey thanks for sharing.

I wrote it at the end that I’m happy because a lot of people seems to have trouble with depression.

It’s more like „finding the reason“ kind of thing.

I will read about type theory. It looks interesting. At least it could be a good story to tell. :-)

Thanks for that.