为IO实例证明函子法则

Question

如何证明<label for='product-45-45'> <input type='checkbox' style="float:right;" id='product-45-45'/> <div class="accord-text"> <strong>header:</strong> sub text <strong>more text!</strong> </div> </label>实例的仿函数定律，即：

IO

这些是我使用过的步骤：

instance Functor IO where
    fmap f action = do
        result <- action
        return (f result)