Java's type system is messed, yo;