type family example.