<literal>MyIO <replaceable>t</replaceable></literal>
rather than just
<literal>IO <replaceable>t</replaceable></literal>.
+ See <xref linkend="ffi-newtype-io"/>
</para>
</listitem>
+ <listitem> <para> GHC's mechansim for deriving user-defined classes
+ for newtypes has been further generalised, to multi-parameter type
+ classes and higher-kinded types. See <xref
+ linkend="newtype-deriving"/>.
+ </para></listitem>
<listitem>
<para>
By default, pattern bindings in GHC are now monomorphic.
</listitem>
<listitem>
<para>
+ Linear implicit parameters have been scheduled for removal for some
+ time. In 6.6 we've removed them from the user manual, and they may
+ well disappear from the compiler itself in 6.6.1.
+ </para>
+ </listitem>
+ <listitem>
+ <para>
It is now possible, with the <literal>-I</literal> RTS flag,
to control the amount of idle time that happens before a major
GC is performed.
<option>--make</option>, and hence can be used by cabal.
</para>
</listitem>
+ <listitem>
+ <para>
+ Template Haskell used to have limited support for type signatures in
+ patterns, but since that design is in flux for Haskell (let alone
+ Template Haskell), we've removed type signatures in patterns from
+ Template Haskell.
+ </para>
+ </listitem>
</itemizedlist>
</sect2>