so, defining mergeability for a type is insufficie...
# development
w
so, defining mergeability for a type is insufficient, because one must still define the recursion