id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc
89,Test out effect constructors with interesting kinds,benl,,"Effect constructors with kinds other than ! and % -> ! haven't been well tested.

Suppose we do:

{{{
effect  Exception :: ! -> * -> ! 
}}}

This effect carries another effect and a type. Is the inferencer going to manage that?

",task,new,normal,0.1.5,Source Type Inferencer,0.1.2,,,