3 replies

Issues with Refining Data Types and the Need for unsafeCoerse

This horrible piece of code is due to a

Data<A[]>

Data<A[]>

not being able to be refined into a

Data<[A, ...A[]]>

Data<[A, ...A[]]>

using the expected tools, requiring this

unsafeCoerse

unsafeCoerse

,
The

filterOrElse

filterOrElse

generic was added by me for visibility, though even adding them manually doesn't help and still requires

unsafeCoerse

unsafeCoerse

Issues with Refining Data Types and the Need for unsafeCoerse - Effect Community