Haskellで証明の勉強