Work with type families + examples