RE: Libraries needing a main and ghci