:1:1: error: Variable not in scope: α