can't have shadowing checking now, as it fails at desugar time
line lenght