On 28 June 2010 05:52, Victor Nazarov <[email protected]> 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 [email protected] IvanMiljenovic.wordpress.com _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
