Working with type family

In this recipe, we will work with type family or associated types. In type family, we associate a data type with another data type. In this particular recipe, we will work with a package vector-space, which beautifully show the association between types which defining vector and scalar types.