型宣言 fmap :: (a -> b) -> Map k a -> Map k b main :: IO () 型宣言には定義の型を明示する役割があり、定義が自明である(main :: IO()とか)場合は、これを省略することができる。 定義 main = putStrLn "Hello, Haskell world!"型クラス 型の振る舞いを…