# Types for Foxy