functionName ::
  (C1, C2, C3) =>
  a ->
  b ->
  c ->
  d ->
  (a, b, c, d)