Do you ever really want to check types at runtime? If anything, you just want it to somehow work, right? Like Python.