Making propellor safer with GADTs and type families

Comments



from Hacker News http://bit.ly/1zapDma