definition module get_dictionary import StdDynamic, StdClass :: TVD a = CVD a & get_dictionary a :: TD a = CD & get_dictionary a class get_dictionary a | TC, Eq a :: ![Int] !(TD a) -> Dynamic instance get_dictionary Int instance get_dictionary (a,b) | get_dictionary a & get_dictionary b instance get_dictionary [a] | get_dictionary a