Awesome type-checking! Now to get it to not segfault.