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..

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.

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