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

Ivan Miljenovic ivan.miljenovic at gmail.com
Sun Jun 27 21:16:44 EDT 2010

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

More information about the Haskell-Cafe mailing list