diff --git a/src/prelude/array.ts b/src/prelude/array.ts
index 778e5e37c..d02de9b2e 100644
--- a/src/prelude/array.ts
+++ b/src/prelude/array.ts
@@ -11,8 +11,8 @@ export function countIf<T>(f: Predicate<T>, xs: T[]): number {
 /**
  * Count the number of elements that is equal to the element
  */
-export function count<T>(x: T, xs: T[]): number {
-	return countIf(y => x === y, xs);
+export function count<T>(a: T, xs: T[]): number {
+	return countIf(x => x === a, xs);
 }
 
 /**
@@ -33,8 +33,8 @@ export function intersperse<T>(sep: T, xs: T[]): T[] {
 /**
  * Returns the array of elements that is not equal to the element
  */
-export function erase<T>(x: T, xs: T[]): T[] {
-	return xs.filter(y => x !== y);
+export function erase<T>(a: T, xs: T[]): T[] {
+	return xs.filter(x => x !== a);
 }
 
 /**
diff --git a/src/prelude/relation.ts b/src/prelude/relation.ts
index b3aedc5ff..1f4703f52 100644
--- a/src/prelude/relation.ts
+++ b/src/prelude/relation.ts
@@ -1,5 +1,5 @@
-export type Predicate<T> = (x: T) => boolean;
+export type Predicate<T> = (a: T) => boolean;
 
-export type Relation<T, U> = (x: T, y: U) => boolean;
+export type Relation<T, U> = (a: T, b: U) => boolean;
 
 export type EndoRelation<T> = Relation<T, T>;