mostly:functional 第二十六章的试炼：Functor 的证明

一样是上次那个模仿 Maybe 行为的 type：

-- Haskell 语法

data MightBe = NoThanks | Ok a deriving (Eq, Show)

那麽我们可以这样帮它实作 Functor 的 typeclass：

-- Haskell 语法

instance Functor (MightBe a) where
  fmap _ NoThanks = NoThansk
  fmap f (Ok a) = OK (f a)

-- 试试看

fmap (+1) $ NoThanks -- => NoThanks
fmap (+1) $ Ok 1 -- => Ok 2

能不能帮这些东西做出 Monoid 的实体呢？

data Double a a = Double a a

-- 希望能
fmap (+1) $ Double 1 1 -- => Double 2 2
fmap (++ "test") $ Double "a" "b" --> Double "atest" "btest"

模仿 Tuple。

data Pair a b = Pair a b

-- 希望能
fmap (+1) $ Double "a" 1 -- => Double "a" 2
fmap (++ "test") $ Double "foo" "a" -- => Double "foo" "atest"

注：能够做出这题，就可以知道为什麽 Tuple 类的 functor 都只能动到最後一个元素，因为「真的只能这样，不这样无法实作」。於是就能对 typeclass 的「实作即证明」感觉更有体会。个人意见是觉得，能够证出来才比较可以表示「我了解某 typeclass 是什麽了」。

3. 能帮我们之前做出来的温度，做出 Functor 的实例吗？

data Temp = Celsius Float | Fahrenheit Float
  deriving (Show)

instance Functor Temp where
  fmap = ???