FK and types