Re: [Haskell-cafe] Why this doesn't type checked

On 28 June 2010 05:52, Victor Nazarov wrote:

Having this in my mind I've decided that this code should be rewritten without undefined being mentioned. But I need some type signature and it should mention Int type. So I've got an idea about what I've called "fantom type functions". So wee need type families for it to work.

Sounds like http://www.haskell.org/haskellwiki/Phantom_type But as Daniel said, you seem to be trying to solve a problem that doesn't exist! -- Ivan Lazar Miljenovic Ivan.Miljenovic@gmail.com IvanMiljenovic.wordpress.com