Hylo: A Systems Programming Language Focused on Value Semantics and Generics