04:55 <discocaml> <barconstruction> I agree with you if what comes after the `>>=` is a lambda. Otherwise I think `>>=` is sometimes preferable, similar to how `|>` can sometimes be preferable to a let binding.

14:50 <sleepydog> i used my first type witness today :D

15:38 <discocaml> <diligentclerk> What is this technique? I have heard of this but I don't really know what it is.

15:39 <discocaml> <dubious245> -# "witness me" - mad max movie.

15:54 <discocaml> <Kali> https://ocaml.org/manual/5.3/api/Type.html#witness

15:54 <discocaml> <Kali> https://stackoverflow.com/questions/75642229/what-are-equality-witnesses-like-type-eq-typing-equal-equal-used-for

15:54 <discocaml> <Kali> it is the value of a type that represents a proof of the property that type represents

15:55 <discocaml> <Kali> the ocaml stdlib provides the `('a, 'b) Type.eq` whose variants `Refl : ('a, 'a)` are proofs of equality of two types

15:56 <discocaml> <Kali> * `Refl : ('a, 'a) Type.eq`

15:56 <sleepydog> I used it to implement a function that retrieves a value from a collection with elements of varying types

16:01 <discocaml> <diligentclerk> cool