:2:1: Not in scope: ‘α’