that is correct but the kotlin compiler is unable ...

# arrow

[raulraja]

that is correct but the kotlin compiler is unable to infer A even when you are given proof of a natural transformation that covers all cases of a sealed hierarchy