On the other hand, we hope it can contribute a small-step towards the ultimate goal of an elegant fully fledged language for certified effectful programming..

But we can't just freeball it to them because they will kill it right back at you.

I think she's overweight, but when I said as much to her, she got very upset.

He possessed a large squirt gun which he delighted to fill with bilge water in the dead of night.