ityonemo/mavis

should one generally put `optional(any) => any` into maps?

Opened this issue · 2 comments

I think the answer this should be explicit, because something like a struct should not generally have optional(any) => any.

requires investigation into what common practices happen to be. Lean towards no.

consider special-casing a warning because I suspect incorrect typespecs are common.