Jon Pretty

14 years into Scala, I'm experimenting with a new way of formatting my code. I've started column-aligning each opening `(` of explicit/implicit parameter block, and the `:` of the return type in method/class definitions, with a four-space indent for long lines. Liking it so far.

What is that return type, with the pipes and the tilde?

It's a monad, a bit like `Try`, which encodes all possible error types, a bit like typelevel checked exceptions. The pipes are aliases which construct an intersection type, which allows the types to match if they're reordered.