adamc@83: con c = fn x :: Name => [x, A]