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

[Ivan Miljenovic]

On 28 June 2010 05:52, Victor Nazarov <asviraspossible at gmail.com> 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 at gmail.com
IvanMiljenovic.wordpress.com