module C where c = ()