recursively resolve type arguments of satisfied types #2627
recursively resolve type arguments of satisfied types
#2627

gijsleussink/ceylon,gijsleussink/ceylon,gijsleussink/ceylon,gijsleussink/ceylon,gijsleussink/ceylon