Get the types right or bad things happen