module Instance where

import Class

data IO a = IO a

{-# NOINLINE bindIO #-}
bindIO :: IO a -> (a -> IO b) -> IO b
bindIO = bindIO 

instance Monad IO where
    bind = bindIO
