> Contrast this with F#'s terminology ("computation expressions") OK, great! And what did F# call monoids, profunctors, semigroups, free constructions, adjoin

> Contrast this with F#'s terminology ("computation expressions") OK, great! And what did F# call monoids, profunctors, semigroups, free constructions, adjoints ... ? The fact is that there are a lot of concepts we use in computer science (maybe not your corner, but yes in computer science) that already have names and history in the mathematical world. If you can suggest better names that we can use in computer science then that's great! Please tell me. Otherwise it seems reasonable to stick with the existing names.