The weaker the type system the stronger the slop.