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