On the left of <- you could do

do () <- someThing
….

so that you'll get a type error against (). Or use scoped type variables:

do (x::()) <- someThing