Type error: Unhandled error: function annot mismatch: (U : Sort) : Kind