module Main where
 
-- トップレベルの関数名は当然ながら行頭から書く必要がある
main :: IO ()　-- main関数は IO()型の戻り値、(※ Javaとかでの IO<Void> に似てる？(少し違うかも))
main = mainA   -- main関数は mainA関数であるという式になってる
 
-- putStrLn関数はString型の引数を取って、引数の文字列を表示して、IO()型を戻り値とする関数
-- >> は二項演算子で左側の(IOモナドなどのファンクタ)の実行後の戻り値を捨てて右側の(同じ種類のファンクタ)処理を実行する
-- >>演算子は左結合、>>演算子は優先順位が関数実行より低い
mainA :: IO ()
mainA = putStrLn "hello" >> putStrLn "world" >> putStrLn "hikky"
 
-- 関数名や引数や演算子との区切りの空白は余分にあっても無くても問題はない
mainB   ::IO      ()
mainB  =    putStrLn  "hello"   >>putStrLn"world">>putStrLn      "hikky"
 
-- それぞれの式に丸括弧をつけて分かりやすくしたもの
mainC :: IO ()
mainC = ((putStrLn "hello") >> (putStrLn "world")) >> (putStrLn "hikky")
 
-- 二項演算子は丸括弧つけることで引数2つの関数となる (>>) は最初の引数が終わったら次の引数を実行みたいな？
mainD :: IO ()
mainD = (>>) ((>>) (putStrLn "hello") (putStrLn "world")) (putStrLn "hikky")
 
-- 関数名の書き始め位置を揃えることで演算子の右側を改行して書ける
mainE :: IO ()
mainE = putStrLn "hello" >>
        putStrLn "world" >>
        putStrLn "hikky"
 
-- 関数名の書き始め位置を揃えれば演算子を前に持ってくることも可能
mainF :: IO ()
mainF = putStrLn "hello"
     >> putStrLn "world"
     >> putStrLn "hikky"
 
-- 関数名の書き始め位置が揃っていればよい
mainG :: IO ()
mainG = putStrLn "hello" >>
        putStrLn "world"
     >> putStrLn "hikky"
 
-- 関数本体書き始めの位置は改行して適当なインデントつけて開始できる
mainH :: IO ()
mainH =
    putStrLn "hello"
 >> putStrLn "world"
 >> putStrLn "hikky"
 
-- 書き始め位置が揃っていれば大きなインデントでも空行があってもOK
mainI :: IO ()
mainI =
                    putStrLn "hello"
 
                 >> putStrLn "world" >>
                    putStrLn "hikky"
 
-- ファンクタでは >>演算子の代わりに do記法を代用することができる、これも関数名の書き始め位置を揃える必要がある 
mainJ :: IO ()
mainJ = do putStrLn "hello"
           putStrLn "world"
           putStrLn "hikky"
 
-- 関数の書き始めはdoのすぐ後ろでなくてもよいが、書き始め位置は揃える必要がある
mainK :: IO ()
mainK = do
    putStrLn "hello"
    putStrLn "world"
    putStrLn "hikky"
 
-- doの書き始め位置も改行して書ける
mainL :: IO ()
mainL =
    do putStrLn "hello"
       putStrLn "world"
       putStrLn "hikky"
 
mainM :: IO ()
mainM =
    do
         putStrLn "hello"
         putStrLn "world"
         putStrLn "hikky"
 
-- do記法では波括弧とセミコロンを使った書き方もできる
mainN :: IO ()
mainN = do { putStrLn "hello"; putStrLn "world"; putStrLn "hikky" }
 
-- 最後処理のはセミコロンを書くこともできるらしい
mainO :: IO ()
mainO = do { putStrLn "hello"; putStrLn "world"; putStrLn "hikky"; }
 
-- 改行しても書ける
mainP :: IO ()
mainP = do {
        putStrLn "hello";
        putStrLn "world";
        putStrLn "hikky";
  }
 
-- do記法で波括弧とセミコロンを使う場合は関数名の開始位置を揃える必要はない
mainQ :: IO ()
mainQ = do {
             putStrLn "hello";
      putStrLn "world" ;
                          putStrLn "hikky"
  }
 
-- 波括弧の開始位置を改行しても書ける
mainR :: IO ()
mainR = do
    {
        putStrLn "hello";
        putStrLn "world";
        putStrLn "hikky";
    }
 
 
 

bW9kdWxlIE1haW4gd2hlcmUKCi0tIOODiOODg+ODl+ODrOODmeODq+OBrumWouaVsOWQjeOBr+W9k+eEtuOBquOBjOOCieihjOmgreOBi+OCieabuOOBj+W/heimgeOBjOOBguOCiwptYWluIDo6IElPICgp44CALS0gbWFpbumWouaVsOOBryBJTygp5Z6L44Gu5oi744KK5YCk44CBKOKAuyBKYXZh44Go44GL44Gn44GuIElPPFZvaWQ+IOOBq+S8vOOBpuOCi++8nyjlsJHjgZfpgZXjgYbjgYvjgoIpKQptYWluID0gbWFpbkEgICAtLSBtYWlu6Zai5pWw44GvIG1haW5B6Zai5pWw44Gn44GC44KL44Go44GE44GG5byP44Gr44Gq44Gj44Gm44KLCgotLSBwdXRTdHJMbumWouaVsOOBr1N0cmluZ+Wei+OBruW8leaVsOOCkuWPluOBo+OBpuOAgeW8leaVsOOBruaWh+Wtl+WIl+OCkuihqOekuuOBl+OBpuOAgUlPKCnlnovjgpLmiLvjgorlgKTjgajjgZnjgovplqLmlbAKLS0gPj4g44Gv5LqM6aCF5ryU566X5a2Q44Gn5bem5YG044GuKElP44Oi44OK44OJ44Gq44Gp44Gu44OV44Kh44Oz44Kv44K/KeOBruWun+ihjOW+jOOBruaIu+OCiuWApOOCkuaNqOOBpuOBpuWPs+WBtOOBrijlkIzjgZjnqK7poZ7jga7jg5XjgqHjg7Pjgq/jgr8p5Yem55CG44KS5a6f6KGM44GZ44KLCi0tID4+5ryU566X5a2Q44Gv5bem57WQ5ZCI44CBPj7mvJTnrpflrZDjga/lhKrlhYjpoIbkvY3jgYzplqLmlbDlrp/ooYzjgojjgorkvY7jgYQKbWFpbkEgOjogSU8gKCkKbWFpbkEgPSBwdXRTdHJMbiAiaGVsbG8iID4+IHB1dFN0ckxuICJ3b3JsZCIgPj4gcHV0U3RyTG4gImhpa2t5IgoKLS0g6Zai5pWw5ZCN44KE5byV5pWw44KE5ryU566X5a2Q44Go44Gu5Yy65YiH44KK44Gu56m655m944Gv5L2Z5YiG44Gr44GC44Gj44Gm44KC54Sh44GP44Gm44KC5ZWP6aGM44Gv44Gq44GECm1haW5CICAgOjpJTyAgICAgICgpCm1haW5CICA9ICAgIHB1dFN0ckxuICAiaGVsbG8iICAgPj5wdXRTdHJMbiJ3b3JsZCI+PnB1dFN0ckxuICAgICAgImhpa2t5IgoKLS0g44Gd44KM44Ge44KM44Gu5byP44Gr5Li45ous5byn44KS44Gk44GR44Gm5YiG44GL44KK44KE44GZ44GP44GX44Gf44KC44GuCm1haW5DIDo6IElPICgpCm1haW5DID0gKChwdXRTdHJMbiAiaGVsbG8iKSA+PiAocHV0U3RyTG4gIndvcmxkIikpID4+IChwdXRTdHJMbiAiaGlra3kiKQoKLS0g5LqM6aCF5ryU566X5a2Q44Gv5Li45ous5byn44Gk44GR44KL44GT44Go44Gn5byV5pWwMuOBpOOBrumWouaVsOOBqOOBquOCiyAoPj4pIOOBr+acgOWIneOBruW8leaVsOOBjOe1guOCj+OBo+OBn+OCieasoeOBruW8leaVsOOCkuWun+ihjOOBv+OBn+OBhOOBqu+8nwptYWluRCA6OiBJTyAoKQptYWluRCA9ICg+PikgKCg+PikgKHB1dFN0ckxuICJoZWxsbyIpIChwdXRTdHJMbiAid29ybGQiKSkgKHB1dFN0ckxuICJoaWtreSIpCgotLSDplqLmlbDlkI3jga7mm7jjgY3lp4vjgoHkvY3nva7jgpLmj4PjgYjjgovjgZPjgajjgafmvJTnrpflrZDjga7lj7PlgbTjgpLmlLnooYzjgZfjgabmm7jjgZHjgosKbWFpbkUgOjogSU8gKCkKbWFpbkUgPSBwdXRTdHJMbiAiaGVsbG8iID4+CiAgICAgICAgcHV0U3RyTG4gIndvcmxkIiA+PgogICAgICAgIHB1dFN0ckxuICJoaWtreSIKCi0tIOmWouaVsOWQjeOBruabuOOBjeWni+OCgeS9jee9ruOCkuaPg+OBiOOCjOOBsOa8lOeul+WtkOOCkuWJjeOBq+aMgeOBo+OBpuOBj+OCi+OBk+OBqOOCguWPr+iDvQptYWluRiA6OiBJTyAoKQptYWluRiA9IHB1dFN0ckxuICJoZWxsbyIKICAgICA+PiBwdXRTdHJMbiAid29ybGQiCiAgICAgPj4gcHV0U3RyTG4gImhpa2t5IgoKLS0g6Zai5pWw5ZCN44Gu5pu444GN5aeL44KB5L2N572u44GM5o+D44Gj44Gm44GE44KM44Gw44KI44GECm1haW5HIDo6IElPICgpCm1haW5HID0gcHV0U3RyTG4gImhlbGxvIiA+PgogICAgICAgIHB1dFN0ckxuICJ3b3JsZCIKICAgICA+PiBwdXRTdHJMbiAiaGlra3kiCgotLSDplqLmlbDmnKzkvZPmm7jjgY3lp4vjgoHjga7kvY3nva7jga/mlLnooYzjgZfjgabpganlvZPjgarjgqTjg7Pjg4fjg7Pjg4jjgaTjgZHjgabplovlp4vjgafjgY3jgosKbWFpbkggOjogSU8gKCkKbWFpbkggPQogICAgcHV0U3RyTG4gImhlbGxvIgogPj4gcHV0U3RyTG4gIndvcmxkIgogPj4gcHV0U3RyTG4gImhpa2t5IgoKLS0g5pu444GN5aeL44KB5L2N572u44GM5o+D44Gj44Gm44GE44KM44Gw5aSn44GN44Gq44Kk44Oz44OH44Oz44OI44Gn44KC56m66KGM44GM44GC44Gj44Gm44KCT0sKbWFpbkkgOjogSU8gKCkKbWFpbkkgPQogICAgICAgICAgICAgICAgICAgIHB1dFN0ckxuICJoZWxsbyIKCiAgICAgICAgICAgICAgICAgPj4gcHV0U3RyTG4gIndvcmxkIiA+PgogICAgICAgICAgICAgICAgICAgIHB1dFN0ckxuICJoaWtreSIKCi0tIOODleOCoeODs+OCr+OCv+OBp+OBryA+Pua8lOeul+WtkOOBruS7o+OCj+OCiuOBqyBkb+iomOazleOCkuS7o+eUqOOBmeOCi+OBk+OBqOOBjOOBp+OBjeOCi+OAgeOBk+OCjOOCgumWouaVsOWQjeOBruabuOOBjeWni+OCgeS9jee9ruOCkuaPg+OBiOOCi+W/heimgeOBjOOBguOCiyAKbWFpbkogOjogSU8gKCkKbWFpbkogPSBkbyBwdXRTdHJMbiAiaGVsbG8iCiAgICAgICAgICAgcHV0U3RyTG4gIndvcmxkIgogICAgICAgICAgIHB1dFN0ckxuICJoaWtreSIKCi0tIOmWouaVsOOBruabuOOBjeWni+OCgeOBr2Rv44Gu44GZ44GQ5b6M44KN44Gn44Gq44GP44Gm44KC44KI44GE44GM44CB5pu444GN5aeL44KB5L2N572u44Gv5o+D44GI44KL5b+F6KaB44GM44GC44KLCm1haW5LIDo6IElPICgpCm1haW5LID0gZG8KICAgIHB1dFN0ckxuICJoZWxsbyIKICAgIHB1dFN0ckxuICJ3b3JsZCIKICAgIHB1dFN0ckxuICJoaWtreSIKCi0tIGRv44Gu5pu444GN5aeL44KB5L2N572u44KC5pS56KGM44GX44Gm5pu444GR44KLCm1haW5MIDo6IElPICgpCm1haW5MID0KICAgIGRvIHB1dFN0ckxuICJoZWxsbyIKICAgICAgIHB1dFN0ckxuICJ3b3JsZCIKICAgICAgIHB1dFN0ckxuICJoaWtreSIKICAgICAgIAptYWluTSA6OiBJTyAoKQptYWluTSA9CiAgICBkbwogICAgICAgICBwdXRTdHJMbiAiaGVsbG8iCiAgICAgICAgIHB1dFN0ckxuICJ3b3JsZCIKICAgICAgICAgcHV0U3RyTG4gImhpa2t5IgoKLS0gZG/oqJjms5Xjgafjga/ms6Lmi6zlvKfjgajjgrvjg5/jgrPjg63jg7PjgpLkvb/jgaPjgZ/mm7jjgY3mlrnjgoLjgafjgY3jgosKbWFpbk4gOjogSU8gKCkKbWFpbk4gPSBkbyB7IHB1dFN0ckxuICJoZWxsbyI7IHB1dFN0ckxuICJ3b3JsZCI7IHB1dFN0ckxuICJoaWtreSIgfQoKLS0g5pyA5b6M5Yem55CG44Gu44Gv44K744Of44Kz44Ot44Oz44KS5pu444GP44GT44Go44KC44Gn44GN44KL44KJ44GX44GECm1haW5PIDo6IElPICgpCm1haW5PID0gZG8geyBwdXRTdHJMbiAiaGVsbG8iOyBwdXRTdHJMbiAid29ybGQiOyBwdXRTdHJMbiAiaGlra3kiOyB9CgotLSDmlLnooYzjgZfjgabjgoLmm7jjgZHjgosKbWFpblAgOjogSU8gKCkKbWFpblAgPSBkbyB7CiAgICAgICAgcHV0U3RyTG4gImhlbGxvIjsKICAgICAgICBwdXRTdHJMbiAid29ybGQiOwogICAgICAgIHB1dFN0ckxuICJoaWtreSI7CiAgfQoKLS0gZG/oqJjms5Xjgafms6Lmi6zlvKfjgajjgrvjg5/jgrPjg63jg7PjgpLkvb/jgYbloLTlkIjjga/plqLmlbDlkI3jga7plovlp4vkvY3nva7jgpLmj4PjgYjjgovlv4XopoHjga/jgarjgYQKbWFpblEgOjogSU8gKCkKbWFpblEgPSBkbyB7CiAgICAgICAgICAgICBwdXRTdHJMbiAiaGVsbG8iOwogICAgICBwdXRTdHJMbiAid29ybGQiIDsKICAgICAgICAgICAgICAgICAgICAgICAgICBwdXRTdHJMbiAiaGlra3kiCiAgfQoKLS0g5rOi5ous5byn44Gu6ZaL5aeL5L2N572u44KS5pS56KGM44GX44Gm44KC5pu444GR44KLCm1haW5SIDo6IElPICgpCm1haW5SID0gZG8KICAgIHsKICAgICAgICBwdXRTdHJMbiAiaGVsbG8iOwogICAgICAgIHB1dFN0ckxuICJ3b3JsZCI7CiAgICAgICAgcHV0U3RyTG4gImhpa2t5IjsKICAgIH0KCgo=