Migrate rspace metrics to Tagless Final Metrics typeclass

Description

None

Assignee

Sebastian Bach

Reporter

Sebastian Bach

Priority

Medium

Components

Story Points

8

Epic Link

Fix versions

Sprint

Configure