[dependenttypes]

Open debate is certainly nice but sadly both Alex and the spinster.xyz administration and users prefer offer troll responses and insult people behind their backs rather than engage in discussion.