Bringing a sound and totally inferred type system, including of all effects. Is the main dimension. It also aims to improve the friction around managing dependencies.