Work around typeclasses taking forever due to universe inconsistency