Internal error: Monomorphisation error
If we wrote the following function:
let f (_:unit) (_:nat option) = None
and we perform a run test we have the following error:
➤ ~/bin/ligo run test lib/data/t.mligo
Internal error: Monomorphisation: E_type_abstraction found in unexpected position
Compiler version: 2022-12-02T18:37:36+00:00 Commit Commit Date: Rolling SHA: b61d0f82 release