Getting the types to compile