Consulta

Dado el tipo:

data C a = C (Bool, a)

Si mirás el constructor recibe un par de tipo (Bool, a). En la pattern de la ecuación ligás x con el segundo componente, que es de tipo a. Esa x es lo que retornás, así que si lo que recibiste es de tipo (C a) retornás algo de tipo a.

saludos