:1:1: error: [GHC-88464] Variable not in scope: α