ChallengeをHaskellの型に変換した