takeCC :: Core.Prim -> Maybe Cc
takeCC = \case
  Core.Eq ->
    Just E
  Core.Ne ->
    Just Ne
  Core.Lt ->
    Just L
  Core.Le ->
    Just Le
  Core.Gt ->
    Just G
  Core.Ge ->
    Just Ge
  _ ->
    Nothing
takeCC :: Core.Prim -> Maybe Cc
takeCC = \case
  Core.Eq ->
    Just E
  Core.Ne ->
    Just Ne
  Core.Lt ->
    Just L
  Core.Le ->
    Just Le
  Core.Gt ->
    Just G
  Core.Ge ->
    Just Ge
  _ ->
    Nothing
takeCC = \case
  Core.Eq ->
    Just E
  Core.Ne ->
    Just Ne
  Core.Lt ->
    Just L
  Core.Le ->
    Just Le
  Core.Gt ->
    Just G
  Core.Ge ->
    Just Ge
  _ ->
    Nothing