How can I extract data from all elements of a multiset?

Question

Let\'s say I have a datatype called dtyp. It looks like this

datatype dtype = T bool int

I\'d like to define a function extr :: &qu