it's easy enough to enforce the type restrictions later.