圏論入門—Haskellで計算する具体例から