definition module ShowWrapped from Wrap import WrappedNode ShowWrapped :: WrappedNode -> [{#Char}]