
22 Feb
2017
22 Feb
'17
11:19 a.m.
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