<div dir="ltr"><div>On the left of <- you could do<br><br>do () <- someThing<br>   ….<br><br></div>so that you'll get a type error against (). Or use scoped type variables:<br><br>do (x::()) <- someThing<br></div>