Example of Multiple Type Binding

modify the associated type family Var to type constructor (* -> *).