Haskell: ошибка использования ф-ции

Потому что encode - чистая функция. do-синтаксис требует, чтобы справа от "<-" стояло значение внутри текущей монады. А encode (2::integer) имеет тип ByteString, вне каких-либо монад. Тебе нужно

do {let s1 = encode (2 :: Integer); print s1}

или просто

print (encode (2 ::Integer))

А почему тогда не работает ?:

main = do s1 <- getWord8
          print s1

Ведь у getWord8 тип Get Word8, т.е. монадически (монада GET).
По идее так же, как и 
getChar :: IO Char (монада IO).

Ну или вот так 

main = do put (2 :: Integer)
          s1 <- get :: Get Integer
          print s1

Потому что гладиолус. Блин, ну сам подумай, getWord8 - в монаде Get, а print - в монаде IO. С чего оно должно работать, а?

Тут ты вообще всё смешал. put - в монаде PutM, get - в монаде Get, а print - в монаде IO. Ну как, каким местом это должно работать?

Это я по примеру (instance Binary Main.Drinks where). Там, кстати,
примера использования нет.
Нуу, хорошо, а можно простейший пример использования put и get:
Например, запись Integer в монаду PutM, вычитать это значение и
визуально проконтролировать (типа print). 
Спасибо.

P.S.Т.е., если монада IO ассоциируется или со стандартным std in/out, либо с дескрипторами файлов, то как реализуется запись/чтение для монад PUT и GET ?

По-моему, ты не вполне представляешь себе, что ты хочешь сделать.

Что ты подразумеваешь под "запись/чтение для монад"?

putChar :: Char -> IO ()
getChar :: IO Char

Так я и прошу: покажи как практически использовать монаду PUT,GET. Вот как про encode растусовал - всё понятно стало. Спасибо. Но это ф-ция не монадическая - это проще.

> Char :: Char -> IO ()

> getChar :: IO Char

Что ты хочешь сказать?

http://code.haskell.org/binary/

Там, где объявляется instance Binary Exp, имеется пример и на Put, и на Get.

data Exp = IntE Int
          | OpE  String Exp Exp
    deriving Show

instance Binary Exp where
       put (IntE i)          = do put (0 :: Word8)
                                  put i
       put (OpE s e1 e2)     = do put (1 :: Word8)
                                  put s
                                  put e1
                                  put e2
 
       get = do t <- get :: Get Word8
                case t of
                     0 -> do i <- get
                             return (IntE i)
                     1 -> do s  <- get
                             e1 <- get
                             e2 <- get
                             return (OpE s e1 e2)

Это понятно. Но как сейчас применить эти методы (put и get) ?

Но лучше простой примерчик использования методов put & get для, например, Instance Binary Integer. Просто как практически использовать монаду IO - всё понятно, а вот другие - не совсем.

Что значит "сейчас"? Задача - как стоит?

Скажи, в каком формате сохранять Integer, и я тебе покажу этот пример.