<div dir="ltr"><div>Solved it. The problem was that in the class declaration I should include a type variable.<br><br>jeff@jeffLenovUbu:~/work/computer/dwt/haskell$ ghci -XNullaryTypeClasses<br>GHCi, version 7.8.4: <a href="http://www.haskell.org/ghc/" target="_blank">http://www.haskell.org/ghc/</a>  :? for help<br>Loading package ghc-prim ... linking ... done.<br>Loading package integer-gmp ... linking ... done.<br>Loading package base ... linking ... done.<br>Prelude> data D = DConstructor<br>Prelude> class C a -- earlier I omitted the a; that seems to have been the problem<br>Prelude> instance C D<br></div>Prelude> <br><div class="gmail_extra"><br><br><div class="gmail_quote">On Sat, Jun 13, 2015 at 12:03 AM, Jeffrey Brown <span dir="ltr"><<a href="mailto:jeffbrown.the@gmail.com" target="_blank">jeffbrown.the@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">jeff@jeffLenovUbu:~$ ghci -XNullaryTypeClasses<br>GHCi, version 7.8.4: <a href="http://www.haskell.org/ghc/" target="_blank">http://www.haskell.org/ghc/</a>  :? for help<br>Loading package ghc-prim ... linking ... done.<br>Loading package integer-gmp ... linking ... done.<br>Loading package base ... linking ... done.<br>Prelude> class C<br>Prelude> data D = DConstructor<br>Prelude> instance C D<br><br><interactive>:4:10:<br>    ‘C’ is applied to too many type arguments<br>    In the instance declaration for ‘C D’<br>Prelude> <br></div>
</blockquote></div><br></div></div>