<div dir="ltr"><div>As Richard said, you don't need much of cabal for dependent types. 
BUT, a scenario that has worked for me is: install ghc and cabal-install
 from your package manager, update cabal-install via cabal ("cabal 
install cabal-install"), and install all else in a sandbox. Works 
predictably if something fails as you can just wipe the sandbox.<br><br></div>Here is something to refer to if one wishes to go deeper :) <a href="http://www.vex.net/~trebla/haskell/sicp.xhtml">http://www.vex.net/~trebla/haskell/sicp.xhtml</a></div><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Apr 29, 2015 at 4:42 PM, Richard Eisenberg <span dir="ltr"><<a href="mailto:eir@cis.upenn.edu" target="_blank">eir@cis.upenn.edu</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">On Apr 29, 2015, at 8:54 AM, "Nicholls, Mark" <<a href="mailto:nicholls.mark@vimn.com">nicholls.mark@vimn.com</a>> wrote:<br>
<br>
> Accchhhh<br>
><br>
> Thats another level of pain<br>
<br>
</span>It is, unfortunately.<br>
<span class=""><br>
> , i'm not a big haskeller so i'll have to wrestle with it to get all the knobs and dials working, leave it with me for the moment and i'll start wrestling with cabal<br>
<br>
</span>You won't need cabal and such. Just say `data family Sing (a :: k)` in your file and you'll have the definition. There's really nothing more to it than that!<br>
<span class="HOEnZb"><font color="#888888"><br>
Richard<br>
</font></span><div class="HOEnZb"><div class="h5">_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br>
</div></div></blockquote></div><br><br clear="all"><br>-- <br><div class="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div></div>Carl Eyeinsky<br></div></div></div></div>
</div>