- add utility function, that check whether an abstract type is a specific concrete one