traits design meeting 2020.03.17 topic Sprint discussion, builtin traits and types Zulip thread summary Key points in the discussion: TyData::Fn sprint discussion builtin traits recursive solver vs SLG