Кстати, почему?
Дык почему типы-то разные?
как бы мне постулировать RecSize schema ~ RecSize (DB' schema)?
searchBook (Just $ T.pack "the") :: IO (Search Book) ?
@ulysses4ever ты про ICFP спрашивал? я вот приехал
это проблема, надо прокси добавлять?
Left l <> Right r = ?
по типу функции?