type Adapt1 f t1 = Adapt f t1 (IO CInt) -> t1 -> String -> IO()
ってどういう文法しょうか？
->のこんな使い方を初めて見たのでどういう文法なのかさっぱりわかりません。