Radical: Learn Types with General Rules and Solved Examples here