Compiling program typeerr
test023a.k:9:Type synonym Foo has too many parameters
Compiling program typeerr
5
Compiling program typeerr
test023c.k:9:Type synonym Foo has too few parameters
Compiling program typeerr
test023d.k:6:b not declared as a parameter
Compiling program typeerr
5
Compiling program typeerr
test023f.k:9:Type Prelude::List has too many parameters
