C a는 317(원서), 472(번역서)에 있는 도메인 집합 타입입니다.
표시적 의미론은 기본 연산을 받아서 의미집합을 반환하는 함수입니다.
의미 집합은 언어에 따라 달라질 수 밖에 없죠.
FRP에서는 셀과 스트림 두 가지 요소밖에 없으니 그 두가지에 대해서만 의미 집합을 정의하면 됩니다.
즉, 셀과 스트림이 표현하는 것이 도대체 무엇이고 그걸 수학적으로 정의하려면 어떻게 정의해야 할까를 고민해서 집합을 정의한 것이 C a와 S a입니다. (여기서 C a는 하스켈의 제네릭 타입 표기법이고, 자바식으로 하면 C<a>라고 생각하시면 됩니다. S a도 마찬가지고요)