Type Family example.