{-# LANGUAGE TypeOperators #-} {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE DeriveGeneric #-} module GenBigTypes where import GHC.Generics data BigSum = C0 | C1 | C2 | C3 | C4 | C5 | C6 | C7 | C8 | C9 | C10 | C11 | C12 | C13 | C14 | C15 | C16 | C17 | C18 | C19 | C20 | C21 | C22 | C23 | C24 | C25 | C26 | C27 | C28 | C29 | C30 | C31 | C32 | C33 | C34 | C35 | C36 | C37 | C38 | C39 | C40 | C41 | C42 | C43 | C44 | C45 | C46 | C47 | C48 | C49 | C50 | C51 | C52 | C53 | C54 | C55 | C56 | C57 | C58 | C59 | C60 | C61 | C62 | C63 | C64 | C65 | C66 | C67 | C68 | C69 | C70 | C71 | C72 | C73 | C74 | C75 | C76 | C77 | C78 | C79 | C80 | C81 | C82 | C83 | C84 | C85 | C86 | C87 | C88 | C89 | C90 | C91 | C92 | C93 | C94 | C95 | C96 | C97 | C98 | C99 {- | C100 | C101 | C102 | C103 | C104 | C105 | C106 | C107 | C108 | C109 | C110 | C111 | C112 | C113 | C114 | C115 | C116 | C117 | C118 | C119 | C120 | C121 | C122 | C123 | C124 | C125 | C126 | C127 | C128 | C129 | C130 | C131 | C132 | C133 | C134 | C135 | C136 | C137 | C138 | C139 | C140 | C141 | C142 | C143 | C144 | C145 | C146 | C147 | C148 | C149 | C150 | C151 | C152 | C153 | C154 | C155 | C156 | C157 | C158 | C159 | C160 | C161 | C162 | C163 | C164 | C165 | C166 | C167 | C168 | C169 | C170 | C171 | C172 | C173 | C174 | C175 | C176 | C177 | C178 | C179 | C180 | C181 | C182 | C183 | C184 | C185 | C186 | C187 | C188 | C189 | C190 | C191 | C192 | C193 | C194 | C195 | C196 | C197 | C198 | C199 | C200 | C201 | C202 | C203 | C204 | C205 | C206 | C207 | C208 | C209 | C210 | C211 | C212 | C213 | C214 | C215 | C216 | C217 | C218 | C219 | C220 | C221 | C222 | C223 | C224 | C225 | C226 | C227 | C228 | C229 | C230 | C231 | C232 | C233 | C234 | C235 | C236 | C237 | C238 | C239 | C240 | C241 | C242 | C243 | C244 | C245 | C246 | C247 | C248 | C249 | C250 | C251 | C252 | C253 | C254 | C255 | C256 | C257 | C258 | C259 | C260 | C261 | C262 | C263 | C264 | C265 | C266 | C267 | C268 | C269 | C270 | C271 | C272 | C273 | C274 | C275 | C276 | C277 | C278 | C279 | C280 | C281 | C282 | C283 | C284 | C285 | C286 | C287 | C288 | C289 | C290 | C291 | C292 | C293 | C294 | C295 | C296 | C297 | C298 | C299 --deriving Generic -} instance Generic BigSum where type Rep BigSum = Rep_BigSum from C0 = M1 (L1 (L1 (L1 (L1 (L1 (L1 (M1 U1))))))) from C1 = M1 (L1 (L1 (L1 (L1 (L1 (R1 (L1 (M1 U1)))))))) from C2 = M1 (L1 (L1 (L1 (L1 (L1 (R1 (R1 (M1 U1)))))))) from C3 = M1 (L1 (L1 (L1 (L1 (R1 (L1 (M1 U1))))))) from C4 = M1 (L1 (L1 (L1 (L1 (R1 (R1 (L1 (M1 U1)))))))) from C5 = M1 (L1 (L1 (L1 (L1 (R1 (R1 (R1 (M1 U1)))))))) from C6 = M1 (L1 (L1 (L1 (R1 (L1 (L1 (M1 U1))))))) from C7 = M1 (L1 (L1 (L1 (R1 (L1 (R1 (L1 (M1 U1)))))))) from C8 = M1 (L1 (L1 (L1 (R1 (L1 (R1 (R1 (M1 U1)))))))) from C9 = M1 (L1 (L1 (L1 (R1 (R1 (L1 (M1 U1))))))) from C10 = M1 (L1 (L1 (L1 (R1 (R1 (R1 (L1 (M1 U1)))))))) from C11 = M1 (L1 (L1 (L1 (R1 (R1 (R1 (R1 (M1 U1)))))))) from C12 = M1 (L1 (L1 (R1 (L1 (L1 (L1 (M1 U1))))))) from C13 = M1 (L1 (L1 (R1 (L1 (L1 (R1 (L1 (M1 U1)))))))) from C14 = M1 (L1 (L1 (R1 (L1 (L1 (R1 (R1 (M1 U1)))))))) from C15 = M1 (L1 (L1 (R1 (L1 (R1 (L1 (M1 U1))))))) from C16 = M1 (L1 (L1 (R1 (L1 (R1 (R1 (L1 (M1 U1)))))))) from C17 = M1 (L1 (L1 (R1 (L1 (R1 (R1 (R1 (M1 U1)))))))) from C18 = M1 (L1 (L1 (R1 (R1 (L1 (L1 (M1 U1))))))) from C19 = M1 (L1 (L1 (R1 (R1 (L1 (R1 (L1 (M1 U1)))))))) from C20 = M1 (L1 (L1 (R1 (R1 (L1 (R1 (R1 (M1 U1)))))))) from C21 = M1 (L1 (L1 (R1 (R1 (R1 (L1 (L1 (M1 U1)))))))) from C22 = M1 (L1 (L1 (R1 (R1 (R1 (L1 (R1 (M1 U1)))))))) from C23 = M1 (L1 (L1 (R1 (R1 (R1 (R1 (L1 (M1 U1)))))))) from C24 = M1 (L1 (L1 (R1 (R1 (R1 (R1 (R1 (M1 U1)))))))) from C25 = M1 (L1 (R1 (L1 (L1 (L1 (L1 (M1 U1))))))) from C26 = M1 (L1 (R1 (L1 (L1 (L1 (R1 (L1 (M1 U1)))))))) from C27 = M1 (L1 (R1 (L1 (L1 (L1 (R1 (R1 (M1 U1)))))))) from C28 = M1 (L1 (R1 (L1 (L1 (R1 (L1 (M1 U1))))))) from C29 = M1 (L1 (R1 (L1 (L1 (R1 (R1 (L1 (M1 U1)))))))) from C30 = M1 (L1 (R1 (L1 (L1 (R1 (R1 (R1 (M1 U1)))))))) from C31 = M1 (L1 (R1 (L1 (R1 (L1 (L1 (M1 U1))))))) from C32 = M1 (L1 (R1 (L1 (R1 (L1 (R1 (L1 (M1 U1)))))))) from C33 = M1 (L1 (R1 (L1 (R1 (L1 (R1 (R1 (M1 U1)))))))) from C34 = M1 (L1 (R1 (L1 (R1 (R1 (L1 (M1 U1))))))) from C35 = M1 (L1 (R1 (L1 (R1 (R1 (R1 (L1 (M1 U1)))))))) from C36 = M1 (L1 (R1 (L1 (R1 (R1 (R1 (R1 (M1 U1)))))))) from C37 = M1 (L1 (R1 (R1 (L1 (L1 (L1 (M1 U1))))))) from C38 = M1 (L1 (R1 (R1 (L1 (L1 (R1 (L1 (M1 U1)))))))) from C39 = M1 (L1 (R1 (R1 (L1 (L1 (R1 (R1 (M1 U1)))))))) from C40 = M1 (L1 (R1 (R1 (L1 (R1 (L1 (M1 U1))))))) from C41 = M1 (L1 (R1 (R1 (L1 (R1 (R1 (L1 (M1 U1)))))))) from C42 = M1 (L1 (R1 (R1 (L1 (R1 (R1 (R1 (M1 U1)))))))) from C43 = M1 (L1 (R1 (R1 (R1 (L1 (L1 (M1 U1))))))) from C44 = M1 (L1 (R1 (R1 (R1 (L1 (R1 (L1 (M1 U1)))))))) from C45 = M1 (L1 (R1 (R1 (R1 (L1 (R1 (R1 (M1 U1)))))))) from C46 = M1 (L1 (R1 (R1 (R1 (R1 (L1 (L1 (M1 U1)))))))) from C47 = M1 (L1 (R1 (R1 (R1 (R1 (L1 (R1 (M1 U1)))))))) from C48 = M1 (L1 (R1 (R1 (R1 (R1 (R1 (L1 (M1 U1)))))))) from C49 = M1 (L1 (R1 (R1 (R1 (R1 (R1 (R1 (M1 U1)))))))) from C50 = M1 (R1 (L1 (L1 (L1 (L1 (L1 (M1 U1))))))) from C51 = M1 (R1 (L1 (L1 (L1 (L1 (R1 (L1 (M1 U1)))))))) from C52 = M1 (R1 (L1 (L1 (L1 (L1 (R1 (R1 (M1 U1)))))))) from C53 = M1 (R1 (L1 (L1 (L1 (R1 (L1 (M1 U1))))))) from C54 = M1 (R1 (L1 (L1 (L1 (R1 (R1 (L1 (M1 U1)))))))) from C55 = M1 (R1 (L1 (L1 (L1 (R1 (R1 (R1 (M1 U1)))))))) from C56 = M1 (R1 (L1 (L1 (R1 (L1 (L1 (M1 U1))))))) from C57 = M1 (R1 (L1 (L1 (R1 (L1 (R1 (L1 (M1 U1)))))))) from C58 = M1 (R1 (L1 (L1 (R1 (L1 (R1 (R1 (M1 U1)))))))) from C59 = M1 (R1 (L1 (L1 (R1 (R1 (L1 (M1 U1))))))) from C60 = M1 (R1 (L1 (L1 (R1 (R1 (R1 (L1 (M1 U1)))))))) from C61 = M1 (R1 (L1 (L1 (R1 (R1 (R1 (R1 (M1 U1)))))))) from C62 = M1 (R1 (L1 (R1 (L1 (L1 (L1 (M1 U1))))))) from C63 = M1 (R1 (L1 (R1 (L1 (L1 (R1 (L1 (M1 U1)))))))) from C64 = M1 (R1 (L1 (R1 (L1 (L1 (R1 (R1 (M1 U1)))))))) from C65 = M1 (R1 (L1 (R1 (L1 (R1 (L1 (M1 U1))))))) from C66 = M1 (R1 (L1 (R1 (L1 (R1 (R1 (L1 (M1 U1)))))))) from C67 = M1 (R1 (L1 (R1 (L1 (R1 (R1 (R1 (M1 U1)))))))) from C68 = M1 (R1 (L1 (R1 (R1 (L1 (L1 (M1 U1))))))) from C69 = M1 (R1 (L1 (R1 (R1 (L1 (R1 (L1 (M1 U1)))))))) from C70 = M1 (R1 (L1 (R1 (R1 (L1 (R1 (R1 (M1 U1)))))))) from C71 = M1 (R1 (L1 (R1 (R1 (R1 (L1 (L1 (M1 U1)))))))) from C72 = M1 (R1 (L1 (R1 (R1 (R1 (L1 (R1 (M1 U1)))))))) from C73 = M1 (R1 (L1 (R1 (R1 (R1 (R1 (L1 (M1 U1)))))))) from C74 = M1 (R1 (L1 (R1 (R1 (R1 (R1 (R1 (M1 U1)))))))) from C75 = M1 (R1 (R1 (L1 (L1 (L1 (L1 (M1 U1))))))) from C76 = M1 (R1 (R1 (L1 (L1 (L1 (R1 (L1 (M1 U1)))))))) from C77 = M1 (R1 (R1 (L1 (L1 (L1 (R1 (R1 (M1 U1)))))))) from C78 = M1 (R1 (R1 (L1 (L1 (R1 (L1 (M1 U1))))))) from C79 = M1 (R1 (R1 (L1 (L1 (R1 (R1 (L1 (M1 U1)))))))) from C80 = M1 (R1 (R1 (L1 (L1 (R1 (R1 (R1 (M1 U1)))))))) from C81 = M1 (R1 (R1 (L1 (R1 (L1 (L1 (M1 U1))))))) from C82 = M1 (R1 (R1 (L1 (R1 (L1 (R1 (L1 (M1 U1)))))))) from C83 = M1 (R1 (R1 (L1 (R1 (L1 (R1 (R1 (M1 U1)))))))) from C84 = M1 (R1 (R1 (L1 (R1 (R1 (L1 (M1 U1))))))) from C85 = M1 (R1 (R1 (L1 (R1 (R1 (R1 (L1 (M1 U1)))))))) from C86 = M1 (R1 (R1 (L1 (R1 (R1 (R1 (R1 (M1 U1)))))))) from C87 = M1 (R1 (R1 (R1 (L1 (L1 (L1 (M1 U1))))))) from C88 = M1 (R1 (R1 (R1 (L1 (L1 (R1 (L1 (M1 U1)))))))) from C89 = M1 (R1 (R1 (R1 (L1 (L1 (R1 (R1 (M1 U1)))))))) from C90 = M1 (R1 (R1 (R1 (L1 (R1 (L1 (M1 U1))))))) from C91 = M1 (R1 (R1 (R1 (L1 (R1 (R1 (L1 (M1 U1)))))))) from C92 = M1 (R1 (R1 (R1 (L1 (R1 (R1 (R1 (M1 U1)))))))) from C93 = M1 (R1 (R1 (R1 (R1 (L1 (L1 (M1 U1))))))) from C94 = M1 (R1 (R1 (R1 (R1 (L1 (R1 (L1 (M1 U1)))))))) from C95 = M1 (R1 (R1 (R1 (R1 (L1 (R1 (R1 (M1 U1)))))))) from C96 = M1 (R1 (R1 (R1 (R1 (R1 (L1 (L1 (M1 U1)))))))) from C97 = M1 (R1 (R1 (R1 (R1 (R1 (L1 (R1 (M1 U1)))))))) from C98 = M1 (R1 (R1 (R1 (R1 (R1 (R1 (L1 (M1 U1)))))))) from C99 = M1 (R1 (R1 (R1 (R1 (R1 (R1 (R1 (M1 U1)))))))) to (M1 (L1 (L1 (L1 (L1 (L1 (L1 (M1 U1)))))))) = C0 to (M1 (L1 (L1 (L1 (L1 (L1 (R1 (L1 (M1 U1))))))))) = C1 to (M1 (L1 (L1 (L1 (L1 (L1 (R1 (R1 (M1 U1))))))))) = C2 to (M1 (L1 (L1 (L1 (L1 (R1 (L1 (M1 U1)))))))) = C3 to (M1 (L1 (L1 (L1 (L1 (R1 (R1 (L1 (M1 U1))))))))) = C4 to (M1 (L1 (L1 (L1 (L1 (R1 (R1 (R1 (M1 U1))))))))) = C5 to (M1 (L1 (L1 (L1 (R1 (L1 (L1 (M1 U1)))))))) = C6 to (M1 (L1 (L1 (L1 (R1 (L1 (R1 (L1 (M1 U1))))))))) = C7 to (M1 (L1 (L1 (L1 (R1 (L1 (R1 (R1 (M1 U1))))))))) = C8 to (M1 (L1 (L1 (L1 (R1 (R1 (L1 (M1 U1)))))))) = C9 to (M1 (L1 (L1 (L1 (R1 (R1 (R1 (L1 (M1 U1))))))))) = C10 to (M1 (L1 (L1 (L1 (R1 (R1 (R1 (R1 (M1 U1))))))))) = C11 to (M1 (L1 (L1 (R1 (L1 (L1 (L1 (M1 U1)))))))) = C12 to (M1 (L1 (L1 (R1 (L1 (L1 (R1 (L1 (M1 U1))))))))) = C13 to (M1 (L1 (L1 (R1 (L1 (L1 (R1 (R1 (M1 U1))))))))) = C14 to (M1 (L1 (L1 (R1 (L1 (R1 (L1 (M1 U1)))))))) = C15 to (M1 (L1 (L1 (R1 (L1 (R1 (R1 (L1 (M1 U1))))))))) = C16 to (M1 (L1 (L1 (R1 (L1 (R1 (R1 (R1 (M1 U1))))))))) = C17 to (M1 (L1 (L1 (R1 (R1 (L1 (L1 (M1 U1)))))))) = C18 to (M1 (L1 (L1 (R1 (R1 (L1 (R1 (L1 (M1 U1))))))))) = C19 to (M1 (L1 (L1 (R1 (R1 (L1 (R1 (R1 (M1 U1))))))))) = C20 to (M1 (L1 (L1 (R1 (R1 (R1 (L1 (L1 (M1 U1))))))))) = C21 to (M1 (L1 (L1 (R1 (R1 (R1 (L1 (R1 (M1 U1))))))))) = C22 to (M1 (L1 (L1 (R1 (R1 (R1 (R1 (L1 (M1 U1))))))))) = C23 to (M1 (L1 (L1 (R1 (R1 (R1 (R1 (R1 (M1 U1))))))))) = C24 to (M1 (L1 (R1 (L1 (L1 (L1 (L1 (M1 U1)))))))) = C25 to (M1 (L1 (R1 (L1 (L1 (L1 (R1 (L1 (M1 U1))))))))) = C26 to (M1 (L1 (R1 (L1 (L1 (L1 (R1 (R1 (M1 U1))))))))) = C27 to (M1 (L1 (R1 (L1 (L1 (R1 (L1 (M1 U1)))))))) = C28 to (M1 (L1 (R1 (L1 (L1 (R1 (R1 (L1 (M1 U1))))))))) = C29 to (M1 (L1 (R1 (L1 (L1 (R1 (R1 (R1 (M1 U1))))))))) = C30 to (M1 (L1 (R1 (L1 (R1 (L1 (L1 (M1 U1)))))))) = C31 to (M1 (L1 (R1 (L1 (R1 (L1 (R1 (L1 (M1 U1))))))))) = C32 to (M1 (L1 (R1 (L1 (R1 (L1 (R1 (R1 (M1 U1))))))))) = C33 to (M1 (L1 (R1 (L1 (R1 (R1 (L1 (M1 U1)))))))) = C34 to (M1 (L1 (R1 (L1 (R1 (R1 (R1 (L1 (M1 U1))))))))) = C35 to (M1 (L1 (R1 (L1 (R1 (R1 (R1 (R1 (M1 U1))))))))) = C36 to (M1 (L1 (R1 (R1 (L1 (L1 (L1 (M1 U1)))))))) = C37 to (M1 (L1 (R1 (R1 (L1 (L1 (R1 (L1 (M1 U1))))))))) = C38 to (M1 (L1 (R1 (R1 (L1 (L1 (R1 (R1 (M1 U1))))))))) = C39 to (M1 (L1 (R1 (R1 (L1 (R1 (L1 (M1 U1)))))))) = C40 to (M1 (L1 (R1 (R1 (L1 (R1 (R1 (L1 (M1 U1))))))))) = C41 to (M1 (L1 (R1 (R1 (L1 (R1 (R1 (R1 (M1 U1))))))))) = C42 to (M1 (L1 (R1 (R1 (R1 (L1 (L1 (M1 U1)))))))) = C43 to (M1 (L1 (R1 (R1 (R1 (L1 (R1 (L1 (M1 U1))))))))) = C44 to (M1 (L1 (R1 (R1 (R1 (L1 (R1 (R1 (M1 U1))))))))) = C45 to (M1 (L1 (R1 (R1 (R1 (R1 (L1 (L1 (M1 U1))))))))) = C46 to (M1 (L1 (R1 (R1 (R1 (R1 (L1 (R1 (M1 U1))))))))) = C47 to (M1 (L1 (R1 (R1 (R1 (R1 (R1 (L1 (M1 U1))))))))) = C48 to (M1 (L1 (R1 (R1 (R1 (R1 (R1 (R1 (M1 U1))))))))) = C49 to (M1 (R1 (L1 (L1 (L1 (L1 (L1 (M1 U1)))))))) = C50 to (M1 (R1 (L1 (L1 (L1 (L1 (R1 (L1 (M1 U1))))))))) = C51 to (M1 (R1 (L1 (L1 (L1 (L1 (R1 (R1 (M1 U1))))))))) = C52 to (M1 (R1 (L1 (L1 (L1 (R1 (L1 (M1 U1)))))))) = C53 to (M1 (R1 (L1 (L1 (L1 (R1 (R1 (L1 (M1 U1))))))))) = C54 to (M1 (R1 (L1 (L1 (L1 (R1 (R1 (R1 (M1 U1))))))))) = C55 to (M1 (R1 (L1 (L1 (R1 (L1 (L1 (M1 U1)))))))) = C56 to (M1 (R1 (L1 (L1 (R1 (L1 (R1 (L1 (M1 U1))))))))) = C57 to (M1 (R1 (L1 (L1 (R1 (L1 (R1 (R1 (M1 U1))))))))) = C58 to (M1 (R1 (L1 (L1 (R1 (R1 (L1 (M1 U1)))))))) = C59 to (M1 (R1 (L1 (L1 (R1 (R1 (R1 (L1 (M1 U1))))))))) = C60 to (M1 (R1 (L1 (L1 (R1 (R1 (R1 (R1 (M1 U1))))))))) = C61 to (M1 (R1 (L1 (R1 (L1 (L1 (L1 (M1 U1)))))))) = C62 to (M1 (R1 (L1 (R1 (L1 (L1 (R1 (L1 (M1 U1))))))))) = C63 to (M1 (R1 (L1 (R1 (L1 (L1 (R1 (R1 (M1 U1))))))))) = C64 to (M1 (R1 (L1 (R1 (L1 (R1 (L1 (M1 U1)))))))) = C65 to (M1 (R1 (L1 (R1 (L1 (R1 (R1 (L1 (M1 U1))))))))) = C66 to (M1 (R1 (L1 (R1 (L1 (R1 (R1 (R1 (M1 U1))))))))) = C67 to (M1 (R1 (L1 (R1 (R1 (L1 (L1 (M1 U1)))))))) = C68 to (M1 (R1 (L1 (R1 (R1 (L1 (R1 (L1 (M1 U1))))))))) = C69 to (M1 (R1 (L1 (R1 (R1 (L1 (R1 (R1 (M1 U1))))))))) = C70 to (M1 (R1 (L1 (R1 (R1 (R1 (L1 (L1 (M1 U1))))))))) = C71 to (M1 (R1 (L1 (R1 (R1 (R1 (L1 (R1 (M1 U1))))))))) = C72 to (M1 (R1 (L1 (R1 (R1 (R1 (R1 (L1 (M1 U1))))))))) = C73 to (M1 (R1 (L1 (R1 (R1 (R1 (R1 (R1 (M1 U1))))))))) = C74 to (M1 (R1 (R1 (L1 (L1 (L1 (L1 (M1 U1)))))))) = C75 to (M1 (R1 (R1 (L1 (L1 (L1 (R1 (L1 (M1 U1))))))))) = C76 to (M1 (R1 (R1 (L1 (L1 (L1 (R1 (R1 (M1 U1))))))))) = C77 to (M1 (R1 (R1 (L1 (L1 (R1 (L1 (M1 U1)))))))) = C78 to (M1 (R1 (R1 (L1 (L1 (R1 (R1 (L1 (M1 U1))))))))) = C79 to (M1 (R1 (R1 (L1 (L1 (R1 (R1 (R1 (M1 U1))))))))) = C80 to (M1 (R1 (R1 (L1 (R1 (L1 (L1 (M1 U1)))))))) = C81 to (M1 (R1 (R1 (L1 (R1 (L1 (R1 (L1 (M1 U1))))))))) = C82 to (M1 (R1 (R1 (L1 (R1 (L1 (R1 (R1 (M1 U1))))))))) = C83 to (M1 (R1 (R1 (L1 (R1 (R1 (L1 (M1 U1)))))))) = C84 to (M1 (R1 (R1 (L1 (R1 (R1 (R1 (L1 (M1 U1))))))))) = C85 to (M1 (R1 (R1 (L1 (R1 (R1 (R1 (R1 (M1 U1))))))))) = C86 to (M1 (R1 (R1 (R1 (L1 (L1 (L1 (M1 U1)))))))) = C87 to (M1 (R1 (R1 (R1 (L1 (L1 (R1 (L1 (M1 U1))))))))) = C88 to (M1 (R1 (R1 (R1 (L1 (L1 (R1 (R1 (M1 U1))))))))) = C89 to (M1 (R1 (R1 (R1 (L1 (R1 (L1 (M1 U1)))))))) = C90 to (M1 (R1 (R1 (R1 (L1 (R1 (R1 (L1 (M1 U1))))))))) = C91 to (M1 (R1 (R1 (R1 (L1 (R1 (R1 (R1 (M1 U1))))))))) = C92 to (M1 (R1 (R1 (R1 (R1 (L1 (L1 (M1 U1)))))))) = C93 to (M1 (R1 (R1 (R1 (R1 (L1 (R1 (L1 (M1 U1))))))))) = C94 to (M1 (R1 (R1 (R1 (R1 (L1 (R1 (R1 (M1 U1))))))))) = C95 to (M1 (R1 (R1 (R1 (R1 (R1 (L1 (L1 (M1 U1))))))))) = C96 to (M1 (R1 (R1 (R1 (R1 (R1 (L1 (R1 (M1 U1))))))))) = C97 to (M1 (R1 (R1 (R1 (R1 (R1 (R1 (L1 (M1 U1))))))))) = C98 to (M1 (R1 (R1 (R1 (R1 (R1 (R1 (R1 (M1 U1))))))))) = C99 instance Datatype D1BigSum where datatypeName _ = "BigSum" moduleName _ = "GenBigTypes" instance Constructor C1_0BigSum where conName _ = "C0" instance Constructor C1_1BigSum where conName _ = "C1" instance Constructor C1_2BigSum where conName _ = "C2" instance Constructor C1_3BigSum where conName _ = "C3" instance Constructor C1_4BigSum where conName _ = "C4" instance Constructor C1_5BigSum where conName _ = "C5" instance Constructor C1_6BigSum where conName _ = "C6" instance Constructor C1_7BigSum where conName _ = "C7" instance Constructor C1_8BigSum where conName _ = "C8" instance Constructor C1_9BigSum where conName _ = "C9" instance Constructor C1_10BigSum where conName _ = "C10" instance Constructor C1_11BigSum where conName _ = "C11" instance Constructor C1_12BigSum where conName _ = "C12" instance Constructor C1_13BigSum where conName _ = "C13" instance Constructor C1_14BigSum where conName _ = "C14" instance Constructor C1_15BigSum where conName _ = "C15" instance Constructor C1_16BigSum where conName _ = "C16" instance Constructor C1_17BigSum where conName _ = "C17" instance Constructor C1_18BigSum where conName _ = "C18" instance Constructor C1_19BigSum where conName _ = "C19" instance Constructor C1_20BigSum where conName _ = "C20" instance Constructor C1_21BigSum where conName _ = "C21" instance Constructor C1_22BigSum where conName _ = "C22" instance Constructor C1_23BigSum where conName _ = "C23" instance Constructor C1_24BigSum where conName _ = "C24" instance Constructor C1_25BigSum where conName _ = "C25" instance Constructor C1_26BigSum where conName _ = "C26" instance Constructor C1_27BigSum where conName _ = "C27" instance Constructor C1_28BigSum where conName _ = "C28" instance Constructor C1_29BigSum where conName _ = "C29" instance Constructor C1_30BigSum where conName _ = "C30" instance Constructor C1_31BigSum where conName _ = "C31" instance Constructor C1_32BigSum where conName _ = "C32" instance Constructor C1_33BigSum where conName _ = "C33" instance Constructor C1_34BigSum where conName _ = "C34" instance Constructor C1_35BigSum where conName _ = "C35" instance Constructor C1_36BigSum where conName _ = "C36" instance Constructor C1_37BigSum where conName _ = "C37" instance Constructor C1_38BigSum where conName _ = "C38" instance Constructor C1_39BigSum where conName _ = "C39" instance Constructor C1_40BigSum where conName _ = "C40" instance Constructor C1_41BigSum where conName _ = "C41" instance Constructor C1_42BigSum where conName _ = "C42" instance Constructor C1_43BigSum where conName _ = "C43" instance Constructor C1_44BigSum where conName _ = "C44" instance Constructor C1_45BigSum where conName _ = "C45" instance Constructor C1_46BigSum where conName _ = "C46" instance Constructor C1_47BigSum where conName _ = "C47" instance Constructor C1_48BigSum where conName _ = "C48" instance Constructor C1_49BigSum where conName _ = "C49" instance Constructor C1_50BigSum where conName _ = "C50" instance Constructor C1_51BigSum where conName _ = "C51" instance Constructor C1_52BigSum where conName _ = "C52" instance Constructor C1_53BigSum where conName _ = "C53" instance Constructor C1_54BigSum where conName _ = "C54" instance Constructor C1_55BigSum where conName _ = "C55" instance Constructor C1_56BigSum where conName _ = "C56" instance Constructor C1_57BigSum where conName _ = "C57" instance Constructor C1_58BigSum where conName _ = "C58" instance Constructor C1_59BigSum where conName _ = "C59" instance Constructor C1_60BigSum where conName _ = "C60" instance Constructor C1_61BigSum where conName _ = "C61" instance Constructor C1_62BigSum where conName _ = "C62" instance Constructor C1_63BigSum where conName _ = "C63" instance Constructor C1_64BigSum where conName _ = "C64" instance Constructor C1_65BigSum where conName _ = "C65" instance Constructor C1_66BigSum where conName _ = "C66" instance Constructor C1_67BigSum where conName _ = "C67" instance Constructor C1_68BigSum where conName _ = "C68" instance Constructor C1_69BigSum where conName _ = "C69" instance Constructor C1_70BigSum where conName _ = "C70" instance Constructor C1_71BigSum where conName _ = "C71" instance Constructor C1_72BigSum where conName _ = "C72" instance Constructor C1_73BigSum where conName _ = "C73" instance Constructor C1_74BigSum where conName _ = "C74" instance Constructor C1_75BigSum where conName _ = "C75" instance Constructor C1_76BigSum where conName _ = "C76" instance Constructor C1_77BigSum where conName _ = "C77" instance Constructor C1_78BigSum where conName _ = "C78" instance Constructor C1_79BigSum where conName _ = "C79" instance Constructor C1_80BigSum where conName _ = "C80" instance Constructor C1_81BigSum where conName _ = "C81" instance Constructor C1_82BigSum where conName _ = "C82" instance Constructor C1_83BigSum where conName _ = "C83" instance Constructor C1_84BigSum where conName _ = "C84" instance Constructor C1_85BigSum where conName _ = "C85" instance Constructor C1_86BigSum where conName _ = "C86" instance Constructor C1_87BigSum where conName _ = "C87" instance Constructor C1_88BigSum where conName _ = "C88" instance Constructor C1_89BigSum where conName _ = "C89" instance Constructor C1_90BigSum where conName _ = "C90" instance Constructor C1_91BigSum where conName _ = "C91" instance Constructor C1_92BigSum where conName _ = "C92" instance Constructor C1_93BigSum where conName _ = "C93" instance Constructor C1_94BigSum where conName _ = "C94" instance Constructor C1_95BigSum where conName _ = "C95" instance Constructor C1_96BigSum where conName _ = "C96" instance Constructor C1_97BigSum where conName _ = "C97" instance Constructor C1_98BigSum where conName _ = "C98" instance Constructor C1_99BigSum where conName _ = "C99" data D1BigSum data C1_0BigSum data C1_1BigSum data C1_2BigSum data C1_3BigSum data C1_4BigSum data C1_5BigSum data C1_6BigSum data C1_7BigSum data C1_8BigSum data C1_9BigSum data C1_10BigSum data C1_11BigSum data C1_12BigSum data C1_13BigSum data C1_14BigSum data C1_15BigSum data C1_16BigSum data C1_17BigSum data C1_18BigSum data C1_19BigSum data C1_20BigSum data C1_21BigSum data C1_22BigSum data C1_23BigSum data C1_24BigSum data C1_25BigSum data C1_26BigSum data C1_27BigSum data C1_28BigSum data C1_29BigSum data C1_30BigSum data C1_31BigSum data C1_32BigSum data C1_33BigSum data C1_34BigSum data C1_35BigSum data C1_36BigSum data C1_37BigSum data C1_38BigSum data C1_39BigSum data C1_40BigSum data C1_41BigSum data C1_42BigSum data C1_43BigSum data C1_44BigSum data C1_45BigSum data C1_46BigSum data C1_47BigSum data C1_48BigSum data C1_49BigSum data C1_50BigSum data C1_51BigSum data C1_52BigSum data C1_53BigSum data C1_54BigSum data C1_55BigSum data C1_56BigSum data C1_57BigSum data C1_58BigSum data C1_59BigSum data C1_60BigSum data C1_61BigSum data C1_62BigSum data C1_63BigSum data C1_64BigSum data C1_65BigSum data C1_66BigSum data C1_67BigSum data C1_68BigSum data C1_69BigSum data C1_70BigSum data C1_71BigSum data C1_72BigSum data C1_73BigSum data C1_74BigSum data C1_75BigSum data C1_76BigSum data C1_77BigSum data C1_78BigSum data C1_79BigSum data C1_80BigSum data C1_81BigSum data C1_82BigSum data C1_83BigSum data C1_84BigSum data C1_85BigSum data C1_86BigSum data C1_87BigSum data C1_88BigSum data C1_89BigSum data C1_90BigSum data C1_91BigSum data C1_92BigSum data C1_93BigSum data C1_94BigSum data C1_95BigSum data C1_96BigSum data C1_97BigSum data C1_98BigSum data C1_99BigSum type Rep_BigSum = D1 D1BigSum ((((((C1 C1_0BigSum U1 :+: (C1 C1_1BigSum U1 :+: C1 C1_2BigSum U1)) :+: (C1 C1_3BigSum U1 :+: (C1 C1_4BigSum U1 :+: C1 C1_5BigSum U1))) :+: ((C1 C1_6BigSum U1 :+: (C1 C1_7BigSum U1 :+: C1 C1_8BigSum U1)) :+: (C1 C1_9BigSum U1 :+: (C1 C1_10BigSum U1 :+: C1 C1_11BigSum U1)))) :+: (((C1 C1_12BigSum U1 :+: (C1 C1_13BigSum U1 :+: C1 C1_14BigSum U1)) :+: (C1 C1_15BigSum U1 :+: (C1 C1_16BigSum U1 :+: C1 C1_17BigSum U1))) :+: ((C1 C1_18BigSum U1 :+: (C1 C1_19BigSum U1 :+: C1 C1_20BigSum U1)) :+: ((C1 C1_21BigSum U1 :+: C1 C1_22BigSum U1) :+: (C1 C1_23BigSum U1 :+: C1 C1_24BigSum U1))))) :+: ((((C1 C1_25BigSum U1 :+: (C1 C1_26BigSum U1 :+: C1 C1_27BigSum U1)) :+: (C1 C1_28BigSum U1 :+: (C1 C1_29BigSum U1 :+: C1 C1_30BigSum U1))) :+: ((C1 C1_31BigSum U1 :+: (C1 C1_32BigSum U1 :+: C1 C1_33BigSum U1)) :+: (C1 C1_34BigSum U1 :+: (C1 C1_35BigSum U1 :+: C1 C1_36BigSum U1)))) :+: (((C1 C1_37BigSum U1 :+: (C1 C1_38BigSum U1 :+: C1 C1_39BigSum U1)) :+: (C1 C1_40BigSum U1 :+: (C1 C1_41BigSum U1 :+: C1 C1_42BigSum U1))) :+: ((C1 C1_43BigSum U1 :+: (C1 C1_44BigSum U1 :+: C1 C1_45BigSum U1)) :+: ((C1 C1_46BigSum U1 :+: C1 C1_47BigSum U1) :+: (C1 C1_48BigSum U1 :+: C1 C1_49BigSum U1)))))) :+: (((((C1 C1_50BigSum U1 :+: (C1 C1_51BigSum U1 :+: C1 C1_52BigSum U1)) :+: (C1 C1_53BigSum U1 :+: (C1 C1_54BigSum U1 :+: C1 C1_55BigSum U1))) :+: ((C1 C1_56BigSum U1 :+: (C1 C1_57BigSum U1 :+: C1 C1_58BigSum U1)) :+: (C1 C1_59BigSum U1 :+: (C1 C1_60BigSum U1 :+: C1 C1_61BigSum U1)))) :+: (((C1 C1_62BigSum U1 :+: (C1 C1_63BigSum U1 :+: C1 C1_64BigSum U1)) :+: (C1 C1_65BigSum U1 :+: (C1 C1_66BigSum U1 :+: C1 C1_67BigSum U1))) :+: ((C1 C1_68BigSum U1 :+: (C1 C1_69BigSum U1 :+: C1 C1_70BigSum U1)) :+: ((C1 C1_71BigSum U1 :+: C1 C1_72BigSum U1) :+: (C1 C1_73BigSum U1 :+: C1 C1_74BigSum U1))))) :+: ((((C1 C1_75BigSum U1 :+: (C1 C1_76BigSum U1 :+: C1 C1_77BigSum U1)) :+: (C1 C1_78BigSum U1 :+: (C1 C1_79BigSum U1 :+: C1 C1_80BigSum U1))) :+: ((C1 C1_81BigSum U1 :+: (C1 C1_82BigSum U1 :+: C1 C1_83BigSum U1)) :+: (C1 C1_84BigSum U1 :+: (C1 C1_85BigSum U1 :+: C1 C1_86BigSum U1)))) :+: (((C1 C1_87BigSum U1 :+: (C1 C1_88BigSum U1 :+: C1 C1_89BigSum U1)) :+: (C1 C1_90BigSum U1 :+: (C1 C1_91BigSum U1 :+: C1 C1_92BigSum U1))) :+: ((C1 C1_93BigSum U1 :+: (C1 C1_94BigSum U1 :+: C1 C1_95BigSum U1)) :+: ((C1 C1_96BigSum U1 :+: C1 C1_97BigSum U1) :+: (C1 C1_98BigSum U1 :+: C1 C1_99BigSum U1))))))) {- data BigProduct = C () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () () deriving Generic -}