Add test case file for various type system trickiness
Add test case file for various type system trickiness

darcs-hash:15f97474bbabd7dd6d2918292e3f8fd345184acf

dpwright/jhc,dpwright/jhc,dpwright/jhc,dpwright/jhc