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