Issues with Refining Data Types and the Need for unsafeCoerse
This horrible piece of code is due to a
The
Data<A[]> not being able to be refined into a Data<[A, ...A[]]> using the expected tools, requiring this unsafeCoerse, The
filterOrElse generic was added by me for visibility, though even adding them manually doesn't help and still requires unsafeCoerse.
