making types a lil smarter