Follow
GADTs By Use Cases (ScalaIO 2019 Workshop) [x-post from /r/scala] - https://redd.it/dngrxt
Server run by the main developers of the project 
It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!