An implementation of ornaments from 'Transporting Functions Across Ornaments'