:1:1: Not in scope: `α'