>>511
ふつうの型シノニムじゃね？
Adapt1 f t1
は、
Adapt f t1 (IO CInt) -> t1 -> String -> IO ()
という型の略記