id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
74	Finish implementation of constructor classes	benl		"Added by Jared

The following function causes the compiler to panic.
{{{
example = map id 0
}}}
The error message is
{{{
DDC: error in stage solve
PANIC in Type.Squid.Class
        mergeClassesT: [% -> *, * -> *]
}}}

This should fail with a class error stating that Int is not an instance of
Functor.  When type classes are fully working, it should complain that it
could not deduce class Functor from context Num.

Kind inference and constructor classes aren't finished yet - so there'll be lots more
panic s where this came from.
"	defect	closed	normal	0.1.5	Source Type Inferencer	0.1.2	fixed