[Haskell-cafe] Dependent types

[Mitar]

Hi!

I made it. ;-)

Thanks to all help from copumpkin on IRC channel.

I am attaching my solution for similar problems in future. And of
course comments.


Mitar
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Test5.hs
Type: application/octet-stream
Size: 1819 bytes
Desc: not available
Url : http://www.haskell.org/pipermail/haskell-cafe/attachments/20100910/6d77ba3c/Test5.obj