- Haskell-Cafe - Haskell.org

casting
by Thomas Conway 10 Oct '06

10 Oct '06

Hi All I'm having some difficulty with typeclasses. What I'm trying to do should be obvious, but it's still giving me trouble. I want to take a packaged item, and strengthen the constraints on its type. Rather than being just any type that is an instance of A, I want to do a runtime check and do something different if it is a type that is also an instance of B (which implies that it is an instance of A also). I've attached some code that attempts this, but ghci (er, 6.4.2 with -fglasgow-exts) complains: Compiling Main ( Cast.hs, interpreted ) Cast.hs:15:22: Ambiguous type variable `b' in the constraint: `B b' arising from use of `qux' at Cast.hs:15:22-24 Probable fix: add a type signature that fixes these type variable(s) Failed, modules loaded: none. So, can anyone suggest how I can achieve my goal? thanks, Tom

3 3

How would you replace a field in a CSV file?
by Pete Kazmier 10 Oct '06

10 Oct '06

The other day at work an opportunity arose where I was hoping to sneak some Haskell into the pipeline of tools used to process call detail records (CDRs). In the telecommunications industry, CDRs are used for billing. Each CDR is a single line record of 30 comma-separated values. Each line is approximately 240 characters in length. The task at hand is to replace field number 10 if a new value can be found in a hashmap which is keyed using the contents of the field. My colleague was going to write a C program (that's all he knows), but I whipped up a trivial python program instead. I was curious if a haskell version could be faster and more elegant , but I have not been able to beat my python version in either case. So, I'm curious as to how you would go about this task in Haskell. The input files are generally 300-400MB, and the hashmap will contain perhaps 20-30 items. For those that know python, here is a very simple implementation that happens to be very fast compared to my Haskell version and very short: for line in sys.stdin: fields = line.split(',') fields[9] = tgmap.get(fields[9], fields[9]) print ",".join(fields), For each line in standard input: - Splits the string on the comma: "field0,field1,...,field29" => ["field0", "field1", ..., "field29"] to obtain a list of strings. - Gets the value associated with the key of field9 from tgmap, if it does not exist, it returns a default value which is the original value. I.e., if it's not in the map, then don't replace the field. - Joins the list of fields with a comma to yield a string again which is printed out to standard output. The join method on the string is a bit odd: ",".join([1,2,3]) => "1,2,3" Here is my first Haskell attempt: import Data.ByteString.Lazy.Char8 as B hiding (map,foldr) import Data.List (map) import Data.Map as M hiding (map) -- This is just a placeholder until I actually populate the map tgmap = M.singleton (B.pack "Pete") (B.pack "Kazmier") main = B.interact $ B.unlines . map doline . B.lines where doline = B.join comma . mapIndex fixup . B.split ',' fixup i s = if i==9 then M.findWithDefault s s tgmap else s comma = B.pack "," -- f is supplied the index of the current element being processed mapIndex f xs = m f 0 xs where m f i [] = [] m f i (x:xs') = f i x : m f (i+1) xs' After talking with dons on #haskell, he cleaned my version up and produced this version which gets rid of 'if' statement and makes mapIndex stricter: import Data.ByteString.Lazy.Char8 as B hiding (map,foldr) import Data.List (map) import Data.Map as M hiding (map) -- This will be populated from a file dict = M.singleton (B.pack "Pete") (B.pack "Kazmier") main = B.interact $ B.unlines . map doline . B.lines where doline = B.join comma . mapIndex fixup . B.split ',' comma = B.singleton ',' fixup 3 s = M.findWithDefault s s dict fixup n s = s -- f is supplied the index of the current element being processed mapIndex :: (Int -> ByteString -> ByteString) -> [ByteString] -> [ByteString] mapIndex f xs = m xs 0 where m [] _ = [] m (x:xs') i = f i x : (m xs' $! i+1) That helped things a bit, but I must confess I don't understand how the strictness improved things as I had assumed things were going to be evaluated in a reasonable amount of time due to the printing of output. I thought IO was interlaced with the execution and thus I wasn't going to have to concern myself over laziness. In addition, the function is able to generate new elements of the list on demand so I thought it was a good citizen in the lazy world. Could anyone help explain? And then he came up with another version to avoid the 'unlines', but that did not that really speed things up significantly. So, with all that said, is there a better approach to this problem? Perhaps a more elegant Haskell solution? Thanks, Pete

3 2

Re: [Haskell-cafe] casting
by Thomas Conway 09 Oct '06

09 Oct '06

Thanks Misha & Matthias. I now get what's going on. The mention of the word "dictionary" revealed it all. I've spent the last 7 years programming in C++, and had dynamic_cast<> firmly fixed in my head. I totally forgot that Fergus Henderson and I independently reinvented dictionary passing for the implementation of Mercury circa 1995. :-) I also realized that the concrete signatures from my actual application don't quite satisfy the requirements anyway, and that the problem evaporates when I get the signatures right.:-) T.

1 0

Announce: Monad Transformer Tutorial
by Martin Grabmueller 09 Oct '06

09 Oct '06

Hallo all, I hereby announce a small tutorial on using monad transformers. In contrast to others found on the web, it concentrates on using them, not on their implementation. I'd like to hear comments, suggestions, etc. about it! Both PDF and Literate Haskell source available here: http://uebb.cs.tu-berlin.de/~magr/pub/Transformers.en.html Have fun, Martin

3 3

Bizarre garbage collection behaviour
by Guillaume Theoret 09 Oct '06

09 Oct '06

I'm using Hugs98 for .NET and I'm running into some bizarre garbage collection issues. I hope I'm posting at the right spot. I didn't want to post this in Hugs bugs since I'm pretty new to Haskell and it's entirely possible I'm doing something a way I shouldn't. Back to the problem at hand. My script (link available at the bottom of this email) fetches a webpage through the .NET Net library and processes it. If I output the result of this processing (a list with the player's name, goals, assists and points) to the screen with putStrLn I can process about two dozen before I hit a .NET runtime exception (which is a different issue entirely). If I don't ouput the result to the screen (I delete 2 lines that only do putStrLn, Ln 148 & Ln 161) I get "ERROR - Garbage collection fails to reclaim sufficient space" after 2 players processed which seems completely counter-intuitive to me. Does someone have an idea as to what's going on here? The script (and its dependencies) are available here: http://smokinn.tengun.net/comp348/week6/ Thanks, Guillaume Theoret

1 0

Trying to serialize HList
by Matthias Fischmann 08 Oct '06

08 Oct '06

... and here is the code I am giving up on for today: Serialization of HLists. Questions below. {-# OPTIONS -fglasgow-exts #-} {-# OPTIONS -fallow-undecidable-instances #-} {-# OPTIONS -fallow-overlapping-instances #-} module Foo where import Char import List import Monad import Permutation import HListPrelude -- [1] http://web.engr.oregonstate.edu/~erwig/pfp/ -- Serializable is like Show, but -- (a) it carries explicit type information, and -- (b) it allows for serializing IORefs etc. class Serializable s where serialize :: s -> IO String deSerialize :: String -> IO s instance Serializable Int where serialize = return . ("Int::" ++) . show deSerialize s | isPrefixOf "Int::" s = return . (read :: String -> Int) . drop 5 $ s instance Serializable Char where serialize = return . ("Char::" ++) . show deSerialize s | isPrefixOf "Char::" s = return . (read :: String -> Char) . drop 6 $ s -- SList is a list of heterogenous serializable elements... class HList l => SList l instance SList HNil instance (Serializable s, SList ss) => SList (HCons s ss) -- ... so it should be possible to write instantiate Serializable, right?: instance (SList s, HMapOut Serialize s (IO String)) => Serializable s where serialize = liftM show . (sequence :: [IO String] -> IO [String]) . hMapOut Serialize deSerialize = error "Not yet. (I am not even done with serialize yet.)" -- Seems we need the trick from the paper that oleg pointed out to me earlier in this thread: data Serialize = Serialize instance (Serializable s) => Apply Serialize s (IO String) where apply _ = serialize -- Example: slist = HCons (1 :: Int) (HCons ('c' :: Char) HNil) test1 = serialize slist -- (This is where -fallow-overlapping-instances helps. There is a -- section in [1] on how to get rid of it, which I haven't read yet.) test2 :: IO (HCons Int (HCons Char HNil)) test2 = test1 >>= deSerialize Two questions: (1) Do you see any reasons why it should be impossible in principle to write deSerialize for the SList instance of Serializable? (I think the answer is "it's possible to write it, but you need to add quite some type information by hand".) (2) The problem with test2 is that I need to know its precise object-level type, ie which types occur at which positions in the SList. I am pretty sure this is a restriction I have to live with. Please tell me I am wrong. (-: (I think my application will make it possible for ghc to infer the type, which is fixed at compile time anyways, so it's not a severe restriction.) (3) (bonus question :) Who wants to write deSerialize for SLists for me? And another one: Why do I need to list the HMapOut instance in the context of the instance declaration of Serializable for SLists? (It's not a big deal, but I can't see why it can't be inferred automatically from the rest of the code.) Possibly back with another issue of my HList diary tomorrow. (Please tell me if you find this interesting or if you would like me to stop being so verbose.) cheers, Matthias

1 0

collection monads
by tpledger＠ihug.co.nz 08 Oct '06

08 Oct '06

Matthias Fischmann wrote: > > Do you expect the contained type x to change during a > > sequence of monadic actions? e.g. would you ever use (>>=) > > at the type 'Permutation Int -> (Int -> Permutation Bool) -> > > Permutation Bool'? > > no, i don't need that. but aside from > the fact that > > > data Permutation k v = > > Permutation [(k, v)] > > instance (Ix k) => > > Monad (Permutation k) > > is redundant (i think of the permutation > as a function applicable to arbitrary > lists): how would that change anything? > my definition of return still doesn't > work. or how would you redefine > 'return'? Ah. Yes, my approach falls over because it lacks two things. #1: a distinguished value of the Ix-constrained type k, to pair off with return's argument. #2: a purpose. I don't have a clear idea of what a do-block in a permutation monad ought to mean. Whoops! <font color=red>:-]</font> Regards, Tom (crawling back under his rock)

2 1

Haskell speaking Spanish
by Luis F. Araujo 08 Oct '06

08 Oct '06

Hello Haskell folks! I have recently started editing a page on the Haskell.org wiki site dedicated to our spanish-speaker community.[0] The main idea is to collect spanish information about Haskell. For example, tutorials, news, comments, etc. And that way to spread such a beautiful language and technology among our spanish-speakers. I also expect we could get some of the main Haskell wiki pages translated, at least the most popular pages.[1] After talking with Don Stewart on IRC; we have also decided it would be a nice idea to offer a spanish translation for the HWN (nice!), which i expect to post every week on this web page too. Please, feel free to start cooperating , and let me know if you got any doubt or suggestion about this new initiative. You are also invited to visit our irc channel #haskell.es on irc.freenode.net and say "hola" to us and idle for a while! Thanks! [0] http://haskell.org/haskellwiki/Haskell.es [1] http://haskell.org/haskellwiki/Special:Popularpages

2 1

hsffig output produces errors from hsc2hs
by Soenke Hahn 07 Oct '06

07 Oct '06

Hi! I want to interface to JACK (http://jackaudio.org/) from a haskell programm and i tried to process jack/jack.h (the JACK API) with hsffig and its output with hsc2hs. I get several error messages from hsc2hs like this: JACK.hsc:198: error: syntax error before ‘}’ token JACK.hsc:198: error: void value not ignored as it ought to be The line in JACK.hsc: c_PTHREAD_COND_INITIALIZER = #const PTHREAD_COND_INITIALIZER The commands i used: gcc -E -dD /usr/include/jack/jack.h | hsffig | tee JACK.hsc hsc2hs -t template-hsffig.h JACK.hsc -I /usr/share/doc/hsffig i tried both version 0.1.2-2 from my distribution (ubuntu) and version 1.0 from the homepage. What am i doing wrong? Did i miss something essential? Soenke

1 0

OOHaskell problems
by Jason Dagit 07 Oct '06

07 Oct '06

Hello, I wanted to try using OOHaskell as a library, but I've run into some problems I don't understand. I downloaded the copy from: http://homepages.cwi.nl/~ralf/OOHaskell/ In the HList subdirectory I created a .cabal file which exposes as many of the modules in HList as I could. I then installed the HList library using cabal. Back in the main OOHaskell directory I created a .cabal file for OOHaskell which depended on the newly installed HList library. The OOHaskell library exposes the modules: DeepNarrow New Nominal OOHaskell After I installed the OOHaskell library I ran: ghc --make -package OOHaskell -package HList SimpleIO.hs Chasing modules from: SimpleIO.hs Compiling Nominal ( ./Nominal.hs, ./Nominal.o ) Compiling New ( ./New.hs, ./New.o ) Compiling DeepNarrow ( ./DeepNarrow.hs, ./DeepNarrow.o ) Compiling OOHaskell ( ./OOHaskell.hs, ./OOHaskell.o ) Compiling SimpleIO ( SimpleIO.hs, SimpleIO.o ) SimpleIO.hs:44:11: No instance for (HasField (Proxy Field1) HNil v) arising from use of `foo' at SimpleIO.hs:44:11-13 Probable fix: add an instance declaration for (HasField (Proxy Field1) HNil v) In the definition of `testfoo': testfoo = foo ((field1 .=. True) .*. emptyRecord) SimpleIO.hs:116:7: No instance for (HasField (Proxy MoveX) HNil (a -> IO t)) arising from use of `#' at SimpleIO.hs:116:7 Probable fix: add an instance declaration for (HasField (Proxy MoveX) HNil (a -> IO t)) In the first argument of `($)', namely `p # moveX' In a 'do' expression: (p # moveX) $ 3 In the definition of `myFirstOOP': myFirstOOP = do p <- point (p # getX) >>= System.IO.print (p # moveX) $ 3 (p # getX) >>= System.IO.print SimpleIO.hs:124:19: No instance for (HasField (Proxy MutableX) HNil (IORef a)) arising from use of `#' at SimpleIO.hs:124:19 Probable fix: add an instance declaration for (HasField (Proxy MutableX) HNil (IORef a)) In the first argument of `writeIORef', namely `(p # mutableX)' In a 'do' expression: writeIORef (p # mutableX) 42 In the definition of `mySecondOOP': mySecondOOP = do p <- point writeIORef (p # mutableX) 42 (p # getX) >>= System.IO.print SimpleIO.hs:177:23: No instance for (HasField (Proxy GetX) HNil (IO a)) arising from use of `#' at SimpleIO.hs:177:23 Probable fix: add an instance declaration for (HasField (Proxy GetX) HNil (IO a)) In the second argument of `(>>=)', namely `(# getX)' In the first argument of `(>>=)', namely `localClass >>= ((# getX))' In the result of a 'do' expression: (localClass >>= ((# getX))) >>= System.IO.print SimpleIO.hs:225:8: No instance for (HasField (Proxy GetOffset) HNil (IO a)) arising from use of `#' at SimpleIO.hs:225:8 Probable fix: add an instance declaration for (HasField (Proxy GetOffset) HNil (IO a)) In the first argument of `(>>=)', namely `p # getOffset' In the result of a 'do' expression: (p # getOffset) >>= System.IO.print In the definition of `testPara': testPara = do p <- para_point 1 (p # getX) >>= System.IO.print (p # moveX) $ 2 (p # getX) >>= System.IO.print (p # getOffset) >>= System.IO.print To investigate this further, in the OOHaskell directory I typed: $ ghci -fglasgow-exts -fallow-overlapping-instances -fallow-undecidable-instances -i./HList ShapesLub.hs ___ ___ _ / _ \ /\ /\/ __(_) / /_\// /_/ / / | | GHC Interactive, version 6.4.2, for Haskell 98. / /_\\/ __ / /___| | http://www.haskell.org/ghc/ \____/\/ /_/\____/|_| Type :? for help. Loading package base-1.0 ... linking ... done. Compiling FakePrelude ( ./HList/FakePrelude.hs, interpreted ) Compiling HListPrelude ( ./HList/HListPrelude.hs, interpreted ) Compiling GhcExperiments ( ./HList/GhcExperiments.hs, interpreted ) Compiling HArray ( ./HList/HArray.hs, interpreted ) Compiling HZip ( ./HList/HZip.hs, interpreted ) Compiling HOccurs ( ./HList/HOccurs.hs, interpreted ) Compiling HTypeIndexed ( ./HList/HTypeIndexed.hs, interpreted ) Compiling Record ( ./HList/Record.hs, interpreted ) Compiling GhcRecord ( ./HList/GhcRecord.hs, interpreted ) Compiling Label4 ( ./HList/Label4.hs, interpreted ) Compiling New ( ./New.hs, interpreted ) Compiling TIP ( ./HList/TIP.hs, interpreted ) Compiling TIC ( ./HList/TIC.hs, interpreted ) Compiling GhcSyntax ( ./HList/GhcSyntax.hs, interpreted ) Compiling TypeCastGeneric1 ( ./HList/TypeCastGeneric1.hs, interpreted ) Compiling TypeEqBoolGeneric ( ./HList/TypeEqBoolGeneric.hs, interpreted ) Compiling TypeEqGeneric1 ( ./HList/TypeEqGeneric1.hs, interpreted ) Compiling Variant ( ./HList/Variant.hs, interpreted ) Compiling Nominal ( ./Nominal.hs, interpreted ) Compiling CommonMain ( ./HList/CommonMain.hs, interpreted ) Compiling DeepNarrow ( ./DeepNarrow.hs, interpreted ) Compiling OOHaskell ( ./OOHaskell.hs, interpreted ) Compiling Shapes ( ./Shapes.hs, interpreted ) Compiling ShapesLub ( ShapesLub.hs, interpreted ) Ok, modules loaded: ShapesLub, Shapes, OOHaskell, DeepNarrow, CommonMain, Nominal, Variant, TypeEqGeneric1, TypeEqBoolGeneric, TypeCastGeneric1, GhcSyntax, TIC, TIP, New, Label4, GhcRecord, Record, HTypeIndexed, HOccurs, HZip, HArray, GhcExperiments, HListPrelude, FakePrelude. *ShapesLub> main Drawing a Rectangle at:(10,20), width 5, height 6 Drawing a Rectangle at:(110,120), width 5, height 6 Drawing a Circle at:(15,25), radius 8 Drawing a Circle at:(115,125), radius 8 Drawing a Rectangle at:(0,0), width 30, height 15 *ShapesLub> So that seemed to work, but: $ ghci -fglasgow-exts -fallow-overlapping-instances -fallow-undecidable-instances -package OOHaskell -package HList ShapesLub.hs ___ ___ _ / _ \ /\ /\/ __(_) / /_\// /_/ / / | | GHC Interactive, version 6.4.2, for Haskell 98. / /_\\/ __ / /___| | http://www.haskell.org/ghc/ \____/\/ /_/\____/|_| Type :? for help. Loading package base-1.0 ... linking ... done. Loading package HList-0.1 ... linking ... done. Loading package OOHaskell-0.1 ... linking ... done. Skipping Nominal ( ./Nominal.hs, ./Nominal.o ) Skipping New ( ./New.hs, ./New.o ) Skipping DeepNarrow ( ./DeepNarrow.hs, ./DeepNarrow.o ) Skipping OOHaskell ( ./OOHaskell.hs, ./OOHaskell.o ) Compiling Shapes ( ./Shapes.hs, interpreted ) Compiling ShapesLub ( ShapesLub.hs, interpreted ) ShapesLub.hs:30:19: No instances for (HasField (Proxy MoveTo) HNil (a5 -> a6 -> IO t5), HasField (Proxy GetY) HNil (IO a6), HasField (Proxy GetX) HNil (IO a5), HasField (Proxy SetY) HNil (t4 -> t t1), HasField (Proxy SetX) HNil (t2 -> t t3), HasField (Proxy GetWidth) HNil (IO a7), HasField (Proxy GetHeight) HNil (IO a8), HExtract HNil (Proxy Draw) (IO ())) arising from use of `rectangle' at ShapesLub.hs:30:19-27 Probable fix: add an instance declaration for (HasField (Proxy MoveTo) HNil (a5 -> a6 -> IO t5), HasField (Proxy GetY) HNil (IO a6), HasField (Proxy GetX) HNil (IO a5), HasField (Proxy SetY) HNil (t4 -> t t1), HasField (Proxy SetX) HNil (t2 -> t t3), HasField (Proxy GetWidth) HNil (IO a7), HasField (Proxy GetHeight) HNil (IO a8), HExtract HNil (Proxy Draw) (IO ())) In the first argument of `mfix', namely `(rectangle (10 :: Int) (20 :: Int) 5 6)' In a 'do' expression: s1 <- mfix (rectangle (10 :: Int) (20 :: Int) 5 6) In the definition of `main': main = do s1 <- mfix (rectangle (10 :: Int) (20 :: Int) 5 6) s2 <- mfix (circle (15 :: Int) 25 8) let scribble = ... mapM_ (\ shape -> ...) scribble arec <- mfix (rectangle (0 :: Int) (0 :: Int) 15 15) (arec # setWidth) $ 30 arec # draw ShapesLub.hs:31:19: No instance for (HasField (Proxy GetRadius) HNil (IO a6)) arising from use of `circle' at ShapesLub.hs:31:19-24 Probable fix: add an instance declaration for (HasField (Proxy GetRadius) HNil (IO a6)) In the first argument of `mfix', namely `(circle (15 :: Int) 25 8)' In a 'do' expression: s2 <- mfix (circle (15 :: Int) 25 8) In the definition of `main': main = do s1 <- mfix (rectangle (10 :: Int) (20 :: Int) 5 6) s2 <- mfix (circle (15 :: Int) 25 8) let scribble = ... mapM_ (\ shape -> ...) scribble arec <- mfix (rectangle (0 :: Int) (0 :: Int) 15 15) (arec # setWidth) $ 30 arec # draw ShapesLub.hs:38:34: No instance for (HasField (Proxy RMoveTo) HNil (t -> t1 -> IO t2)) arising from use of `#' at ShapesLub.hs:38:34 Probable fix: add an instance declaration for (HasField (Proxy RMoveTo) HNil (t -> t1 -> IO t2)) In a 'do' expression: (shape # rMoveTo) 100 100 In a lambda abstraction: \ shape -> do shape # draw (shape # rMoveTo) 100 100 shape # draw In the first argument of `mapM_', namely `(\ shape -> do shape # draw (shape # rMoveTo) 100 100 shape # draw)' ShapesLub.hs:44:12: No instance for (HasField (Proxy SetWidth) HNil (a -> IO t)) arising from use of `#' at ShapesLub.hs:44:12 Probable fix: add an instance declaration for (HasField (Proxy SetWidth) HNil (a -> IO t)) In the first argument of `($)', namely `arec # setWidth' In a 'do' expression: (arec # setWidth) $ 30 In the definition of `main': main = do s1 <- mfix (rectangle (10 :: Int) (20 :: Int) 5 6) s2 <- mfix (circle (15 :: Int) 25 8) let scribble = ... mapM_ (\ shape -> ...) scribble arec <- mfix (rectangle (0 :: Int) (0 :: Int) 15 15) (arec # setWidth) $ 30 arec # draw ShapesLub.hs:46:12: No instance for (HasField (Proxy Draw) HNil (IO b)) arising from use of `#' at ShapesLub.hs:46:12 Probable fix: add an instance declaration for (HasField (Proxy Draw) HNil (IO b)) In the result of a 'do' expression: arec # draw In the definition of `main': main = do s1 <- mfix (rectangle (10 :: Int) (20 :: Int) 5 6) s2 <- mfix (circle (15 :: Int) 25 8) let scribble = ... mapM_ (\ shape -> ...) scribble arec <- mfix (rectangle (0 :: Int) (0 :: Int) 15 15) (arec # setWidth) $ 30 arec # draw Failed, modules loaded: Shapes, OOHaskell, DeepNarrow, New, Nominal. *Shapes> Inspecting HasField and Proxy in the working ghci says: *ShapesLub> :i HasField class HasField l r v | l r -> v where hLookupByLabel :: l -> r -> v -- Defined at ./HList/Record.hs:140:6 instance (HasField l x v, Nomination f) => HasField l (N f x) v -- Defined at ./Nominal.hs:49:0 instance HasField l r v => HasField l (Record r) v -- Defined at ./HList/Record.hs:143:0 instance (HEq l l' b, HasField' b l (HCons (l', v') r) v) => HasField l (HCons (l', v') r) v -- Defined at ./HList/Record.hs:149:0 *ShapesLub> :i Proxy data Proxy e -- Defined at ./HList/FakePrelude.hs:218:5 instance Show (Proxy e) -- Defined at ./HList/FakePrelude.hs:219:0 instance Typeable x => Typeable (Proxy x) -- Defined at ./HList/GhcRecord.hs:229:0 instance TypeEq x y b => HEq (Proxy x) (Proxy y) b -- Defined at ./HList/Label4.hs:27:0 instance (HType2HNat e l n, HTypes2HNats ps l ns) => HTypes2HNats (HCons (Proxy e) ps) l (HCons n ns) -- Defined at ./HList/HTypeIndexed.hs:90:0 instance Typeable x => ShowLabel (Proxy x) -- Defined at ./HList/Label4.hs:32:0 instance Fail (ProxyFound x) => HasNoProxies (HCons (Proxy x) l) -- Defined at ./HList/GhcRecord.hs:73:0 instance HTypeProxied l => HTypeProxied (HCons (Proxy e) l) -- Defined at ./HList/TIC.hs:68:0 instance HMaybied l l' => HMaybied (HCons (Proxy e) l) (HCons (Maybe e) l') -- Defined at ./HList/Variant.hs:53:0 While, the ouput in the non-working ghci sessions has equivalent output: *Shapes> :i HasField class HasField l r v | l r -> v where hLookupByLabel :: l -> r -> v -- Imported from Record instance (HasField l x v, Nomination f) => HasField l (N f x) v -- Imported from Nominal instance (HEq l l' b, HasField' b l (HCons (l', v') r) v) => HasField l (HCons (l', v') r) v -- Imported from Record instance HasField l r v => HasField l (Record r) v -- Imported from Record *Shapes> :i Proxy data Proxy e -- Imported from FakePrelude instance Show (Proxy e) -- Imported from FakePrelude instance Typeable x => Typeable (Proxy x) -- Imported from GhcRecord instance TypeEq x y b => HEq (Proxy x) (Proxy y) b -- Imported from Label4 instance Typeable x => ShowLabel (Proxy x) -- Imported from Label4 instance Fail (ProxyFound x) => HasNoProxies (HCons (Proxy x) l) -- Imported from GhcRecord instance HMaybied l l' => HMaybied (HCons (Proxy e) l) (HCons (Maybe e) l') -- Imported from Variant instance HTypeProxied l => HTypeProxied (HCons (Proxy e) l) -- Imported from TIC instance (HType2HNat e l n, HTypes2HNats ps l ns) => HTypes2HNats (HCons (Proxy e) ps) l (HCons n ns) -- Imported from HTypeIndexed I'm at a loss to figure out why the OOHaskell library I created does not behave the same as building the examples next to the HList source. Thanks, Jason

3 3