#::
scala
+:
scala
:+
scala
::
scala
<|
IdOps
>>
MonadOps
>>=
MonadOps