Hello thanks, I will investigate, but I like this solution. I can ad more type to a type family right ? Is it possible with this type family to be able to link in the other way ? a -> t Cheers Fred