id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
448	Try the finally tagless approach for shell	blamario		"The shell type system should be embeddable using the [http://www.cs.rutgers.edu/~ccshan/tagless/jfp.pdf finally tagless] approach.

Also see http://lambda-the-ultimate.org/node/2438

"	enhancement	new	major		Shell	0.5