Type error: error: Sort does not have a type --> :1:0 | 1 | Sort | ^^^^ Sort does not have a type |