Turns out I was wrong and there are things you can do with #Arrowlets that you can't do with #EffectTs.
Now in Fletcher, the Work type is just Effect<never>

More or less happy using #Typescript now. Here's a bunch of basic combinators for #Arrowlets