nat-map

Map-like data structure for partial natural transformations