ChallengeをHaskellの型に変換しているところ