It has been... coerced.

Is this deb package repository built on Haskell technologies? I don't think Haskell's type system is involved here.

That's the whole point of the GPs comment. You can have all the security related features you want baked into your language if you distribute it in a way that can be compromised that's all for naught.

Mh, this is intriguing, anybody knows what's the stack under that repo?

Less type safety, more internet safety!

Type safety is one of the ways we can get more internet safety.