type Woot.List = Oog
use Woot List
-- works great
foo : List -> Nat
foo = cases
Oog -> 42
-- does not typecheck, unless I manually do `Woot.List` here
type Blah = Uno List | Dos List
❓
I couldn't resolve any of these symbols:
12 | type Blah = Uno List | Dos List
Symbol Suggestions
List Woot.List
lib.base.data.List