Shape

val unitShapePrototype: Shape[FlatShapeLevel, Unit, Unit, Unit]

implicit def mappedProjectionShape[Level >: FlatShapeLevel <: ShapeLevel, T]: Shape[Level, MappedProjection[T], T, MappedProjection[T]]

final implicit def primitiveShape[T, Level <: ShapeLevel](implicit tm: TypedType[T]): Shape[Level, T, T, ConstColumn[T]]

implicit def shapedValueShape[T, U, Level <: ShapeLevel]: Shape[Level, ShapedValue[T, U], U, ShapedValue[T, U]]

final implicit def unitShape[Level <: ShapeLevel]: Shape[Level, Unit, Unit, Unit]

implicit def anyOptionShape[M, U, P, Level <: ShapeLevel](implicit sh: Shape[_ <: Level, M, U, P]): Shape[Level, Rep[Option[M]], Option[U], Rep[Option[P]]]

implicit def constColumnShape[T, Level <: ShapeLevel]: Shape[Level, ConstColumn[T], T, ConstColumn[T]]

implicit def optionShape[M, U, P, Level <: ShapeLevel](implicit sh: Shape[_ <: Level, Rep[M], U, Rep[P]]): Shape[Level, Rep[Option[M]], Option[U], Rep[Option[P]]]

implicit def repColumnShape[T : BaseTypedType, Level <: ShapeLevel]: Shape[Level, Rep[T], T, Rep[T]]

final implicit def tableShape[Level >: FlatShapeLevel <: ShapeLevel, T, C <: AbstractTable[_]](implicit ev: C <:< AbstractTable[T]): Shape[Level, C, T, C]

final implicit def tuple10Shape[Level <: ShapeLevel, M1, M2, M3, M4, M5, M6, M7, M8, M9, M10, U1, U2, U3, U4, U5, U6, U7, U8, U9, U10, P1, P2, P3, P4, P5, P6, P7, P8, P9, P10](implicit u1: Shape[_ <: Level, M1, U1, P1], u2: Shape[_ <: Level, M2, U2, P2], u3: Shape[_ <: Level, M3, U3, P3], u4: Shape[_ <: Level, M4, U4, P4], u5: Shape[_ <: Level, M5, U5, P5], u6: Shape[_ <: Level, M6, U6, P6], u7: Shape[_ <: Level, M7, U7, P7], u8: Shape[_ <: Level, M8, U8, P8], u9: Shape[_ <: Level, M9, U9, P9], u10: Shape[_ <: Level, M10, U10, P10]): Shape[Level, (M1, M2, M3, M4, M5, M6, M7, M8, M9, M10), (U1, U2, U3, U4, U5, U6, U7, U8, U9, U10), (P1, P2, P3, P4, P5, P6, P7, P8, P9, P10)]

final implicit def tuple11Shape[Level <: ShapeLevel, M1, M2, M3, M4, M5, M6, M7, M8, M9, M10, M11, U1, U2, U3, U4, U5, U6, U7, U8, U9, U10, U11, P1, P2, P3, P4, P5, P6, P7, P8, P9, P10, P11](implicit u1: Shape[_ <: Level, M1, U1, P1], u2: Shape[_ <: Level, M2, U2, P2], u3: Shape[_ <: Level, M3, U3, P3], u4: Shape[_ <: Level, M4, U4, P4], u5: Shape[_ <: Level, M5, U5, P5], u6: Shape[_ <: Level, M6, U6, P6], u7: Shape[_ <: Level, M7, U7, P7], u8: Shape[_ <: Level, M8, U8, P8], u9: Shape[_ <: Level, M9, U9, P9], u10: Shape[_ <: Level, M10, U10, P10], u11: Shape[_ <: Level, M11, U11, P11]): Shape[Level, (M1, M2, M3, M4, M5, M6, M7, M8, M9, M10, M11), (U1, U2, U3, U4, U5, U6, U7, U8, U9, U10, U11), (P1, P2, P3, P4, P5, P6, P7, P8, P9, P10, P11)]

final implicit def tuple12Shape[Level <: ShapeLevel, M1, M2, M3, M4, M5, M6, M7, M8, M9, M10, M11, M12, U1, U2, U3, U4, U5, U6, U7, U8, U9, U10, U11, U12, P1, P2, P3, P4, P5, P6, P7, P8, P9, P10, P11, P12](implicit u1: Shape[_ <: Level, M1, U1, P1], u2: Shape[_ <: Level, M2, U2, P2], u3: Shape[_ <: Level, M3, U3, P3], u4: Shape[_ <: Level, M4, U4, P4], u5: Shape[_ <: Level, M5, U5, P5], u6: Shape[_ <: Level, M6, U6, P6], u7: Shape[_ <: Level, M7, U7, P7], u8: Shape[_ <: Level, M8, U8, P8], u9: Shape[_ <: Level, M9, U9, P9], u10: Shape[_ <: Level, M10, U10, P10], u11: Shape[_ <: Level, M11, U11, P11], u12: Shape[_ <: Level, M12, U12, P12]): Shape[Level, (M1, M2, M3, M4, M5, M6, M7, M8, M9, M10, M11, M12), (U1, U2, U3, U4, U5, U6, U7, U8, U9, U10, U11, U12), (P1, P2, P3, P4, P5, P6, P7, P8, P9, P10, P11, P12)]

final implicit def tuple13Shape[Level <: ShapeLevel, M1, M2, M3, M4, M5, M6, M7, M8, M9, M10, M11, M12, M13, U1, U2, U3, U4, U5, U6, U7, U8, U9, U10, U11, U12, U13, P1, P2, P3, P4, P5, P6, P7, P8, P9, P10, P11, P12, P13](implicit u1: Shape[_ <: Level, M1, U1, P1], u2: Shape[_ <: Level, M2, U2, P2], u3: Shape[_ <: Level, M3, U3, P3], u4: Shape[_ <: Level, M4, U4, P4], u5: Shape[_ <: Level, M5, U5, P5], u6: Shape[_ <: Level, M6, U6, P6], u7: Shape[_ <: Level, M7, U7, P7], u8: Shape[_ <: Level, M8, U8, P8], u9: Shape[_ <: Level, M9, U9, P9], u10: Shape[_ <: Level, M10, U10, P10], u11: Shape[_ <: Level, M11, U11, P11], u12: Shape[_ <: Level, M12, U12, P12], u13: Shape[_ <: Level, M13, U13, P13]): Shape[Level, (M1, M2, M3, M4, M5, M6, M7, M8, M9, M10, M11, M12, M13), (U1, U2, U3, U4, U5, U6, U7, U8, U9, U10, U11, U12, U13), (P1, P2, P3, P4, P5, P6, P7, P8, P9, P10, P11, P12, P13)]

final implicit def tuple14Shape[Level <: ShapeLevel, M1, M2, M3, M4, M5, M6, M7, M8, M9, M10, M11, M12, M13, M14, U1, U2, U3, U4, U5, U6, U7, U8, U9, U10, U11, U12, U13, U14, P1, P2, P3, P4, P5, P6, P7, P8, P9, P10, P11, P12, P13, P14](implicit u1: Shape[_ <: Level, M1, U1, P1], u2: Shape[_ <: Level, M2, U2, P2], u3: Shape[_ <: Level, M3, U3, P3], u4: Shape[_ <: Level, M4, U4, P4], u5: Shape[_ <: Level, M5, U5, P5], u6: Shape[_ <: Level, M6, U6, P6], u7: Shape[_ <: Level, M7, U7, P7], u8: Shape[_ <: Level, M8, U8, P8], u9: Shape[_ <: Level, M9, U9, P9], u10: Shape[_ <: Level, M10, U10, P10], u11: Shape[_ <: Level, M11, U11, P11], u12: Shape[_ <: Level, M12, U12, P12], u13: Shape[_ <: Level, M13, U13, P13], u14: Shape[_ <: Level, M14, U14, P14]): Shape[Level, (M1, M2, M3, M4, M5, M6, M7, M8, M9, M10, M11, M12, M13, M14), (U1, U2, U3, U4, U5, U6, U7, U8, U9, U10, U11, U12, U13, U14), (P1, P2, P3, P4, P5, P6, P7, P8, P9, P10, P11, P12, P13, P14)]

final implicit def tuple15Shape[Level <: ShapeLevel, M1, M2, M3, M4, M5, M6, M7, M8, M9, M10, M11, M12, M13, M14, M15, U1, U2, U3, U4, U5, U6, U7, U8, U9, U10, U11, U12, U13, U14, U15, P1, P2, P3, P4, P5, P6, P7, P8, P9, P10, P11, P12, P13, P14, P15](implicit u1: Shape[_ <: Level, M1, U1, P1], u2: Shape[_ <: Level, M2, U2, P2], u3: Shape[_ <: Level, M3, U3, P3], u4: Shape[_ <: Level, M4, U4, P4], u5: Shape[_ <: Level, M5, U5, P5], u6: Shape[_ <: Level, M6, U6, P6], u7: Shape[_ <: Level, M7, U7, P7], u8: Shape[_ <: Level, M8, U8, P8], u9: Shape[_ <: Level, M9, U9, P9], u10: Shape[_ <: Level, M10, U10, P10], u11: Shape[_ <: Level, M11, U11, P11], u12: Shape[_ <: Level, M12, U12, P12], u13: Shape[_ <: Level, M13, U13, P13], u14: Shape[_ <: Level, M14, U14, P14], u15: Shape[_ <: Level, M15, U15, P15]): Shape[Level, (M1, M2, M3, M4, M5, M6, M7, M8, M9, M10, M11, M12, M13, M14, M15), (U1, U2, U3, U4, U5, U6, U7, U8, U9, U10, U11, U12, U13, U14, U15), (P1, P2, P3, P4, P5, P6, P7, P8, P9, P10, P11, P12, P13, P14, P15)]

final implicit def tuple16Shape[Level <: ShapeLevel, M1, M2, M3, M4, M5, M6, M7, M8, M9, M10, M11, M12, M13, M14, M15, M16, U1, U2, U3, U4, U5, U6, U7, U8, U9, U10, U11, U12, U13, U14, U15, U16, P1, P2, P3, P4, P5, P6, P7, P8, P9, P10, P11, P12, P13, P14, P15, P16](implicit u1: Shape[_ <: Level, M1, U1, P1], u2: Shape[_ <: Level, M2, U2, P2], u3: Shape[_ <: Level, M3, U3, P3], u4: Shape[_ <: Level, M4, U4, P4], u5: Shape[_ <: Level, M5, U5, P5], u6: Shape[_ <: Level, M6, U6, P6], u7: Shape[_ <: Level, M7, U7, P7], u8: Shape[_ <: Level, M8, U8, P8], u9: Shape[_ <: Level, M9, U9, P9], u10: Shape[_ <: Level, M10, U10, P10], u11: Shape[_ <: Level, M11, U11, P11], u12: Shape[_ <: Level, M12, U12, P12], u13: Shape[_ <: Level, M13, U13, P13], u14: Shape[_ <: Level, M14, U14, P14], u15: Shape[_ <: Level, M15, U15, P15], u16: Shape[_ <: Level, M16, U16, P16]): Shape[Level, (M1, M2, M3, M4, M5, M6, M7, M8, M9, M10, M11, M12, M13, M14, M15, M16), (U1, U2, U3, U4, U5, U6, U7, U8, U9, U10, U11, U12, U13, U14, U15, U16), (P1, P2, P3, P4, P5, P6, P7, P8, P9, P10, P11, P12, P13, P14, P15, P16)]

final implicit def tuple17Shape[Level <: ShapeLevel, M1, M2, M3, M4, M5, M6, M7, M8, M9, M10, M11, M12, M13, M14, M15, M16, M17, U1, U2, U3, U4, U5, U6, U7, U8, U9, U10, U11, U12, U13, U14, U15, U16, U17, P1, P2, P3, P4, P5, P6, P7, P8, P9, P10, P11, P12, P13, P14, P15, P16, P17](implicit u1: Shape[_ <: Level, M1, U1, P1], u2: Shape[_ <: Level, M2, U2, P2], u3: Shape[_ <: Level, M3, U3, P3], u4: Shape[_ <: Level, M4, U4, P4], u5: Shape[_ <: Level, M5, U5, P5], u6: Shape[_ <: Level, M6, U6, P6], u7: Shape[_ <: Level, M7, U7, P7], u8: Shape[_ <: Level, M8, U8, P8], u9: Shape[_ <: Level, M9, U9, P9], u10: Shape[_ <: Level, M10, U10, P10], u11: Shape[_ <: Level, M11, U11, P11], u12: Shape[_ <: Level, M12, U12, P12], u13: Shape[_ <: Level, M13, U13, P13], u14: Shape[_ <: Level, M14, U14, P14], u15: Shape[_ <: Level, M15, U15, P15], u16: Shape[_ <: Level, M16, U16, P16], u17: Shape[_ <: Level, M17, U17, P17]): Shape[Level, (M1, M2, M3, M4, M5, M6, M7, M8, M9, M10, M11, M12, M13, M14, M15, M16, M17), (U1, U2, U3, U4, U5, U6, U7, U8, U9, U10, U11, U12, U13, U14, U15, U16, U17), (P1, P2, P3, P4, P5, P6, P7, P8, P9, P10, P11, P12, P13, P14, P15, P16, P17)]

final implicit def tuple18Shape[Level <: ShapeLevel, M1, M2, M3, M4, M5, M6, M7, M8, M9, M10, M11, M12, M13, M14, M15, M16, M17, M18, U1, U2, U3, U4, U5, U6, U7, U8, U9, U10, U11, U12, U13, U14, U15, U16, U17, U18, P1, P2, P3, P4, P5, P6, P7, P8, P9, P10, P11, P12, P13, P14, P15, P16, P17, P18](implicit u1: Shape[_ <: Level, M1, U1, P1], u2: Shape[_ <: Level, M2, U2, P2], u3: Shape[_ <: Level, M3, U3, P3], u4: Shape[_ <: Level, M4, U4, P4], u5: Shape[_ <: Level, M5, U5, P5], u6: Shape[_ <: Level, M6, U6, P6], u7: Shape[_ <: Level, M7, U7, P7], u8: Shape[_ <: Level, M8, U8, P8], u9: Shape[_ <: Level, M9, U9, P9], u10: Shape[_ <: Level, M10, U10, P10], u11: Shape[_ <: Level, M11, U11, P11], u12: Shape[_ <: Level, M12, U12, P12], u13: Shape[_ <: Level, M13, U13, P13], u14: Shape[_ <: Level, M14, U14, P14], u15: Shape[_ <: Level, M15, U15, P15], u16: Shape[_ <: Level, M16, U16, P16], u17: Shape[_ <: Level, M17, U17, P17], u18: Shape[_ <: Level, M18, U18, P18]): Shape[Level, (M1, M2, M3, M4, M5, M6, M7, M8, M9, M10, M11, M12, M13, M14, M15, M16, M17, M18), (U1, U2, U3, U4, U5, U6, U7, U8, U9, U10, U11, U12, U13, U14, U15, U16, U17, U18), (P1, P2, P3, P4, P5, P6, P7, P8, P9, P10, P11, P12, P13, P14, P15, P16, P17, P18)]

final implicit def tuple19Shape[Level <: ShapeLevel, M1, M2, M3, M4, M5, M6, M7, M8, M9, M10, M11, M12, M13, M14, M15, M16, M17, M18, M19, U1, U2, U3, U4, U5, U6, U7, U8, U9, U10, U11, U12, U13, U14, U15, U16, U17, U18, U19, P1, P2, P3, P4, P5, P6, P7, P8, P9, P10, P11, P12, P13, P14, P15, P16, P17, P18, P19](implicit u1: Shape[_ <: Level, M1, U1, P1], u2: Shape[_ <: Level, M2, U2, P2], u3: Shape[_ <: Level, M3, U3, P3], u4: Shape[_ <: Level, M4, U4, P4], u5: Shape[_ <: Level, M5, U5, P5], u6: Shape[_ <: Level, M6, U6, P6], u7: Shape[_ <: Level, M7, U7, P7], u8: Shape[_ <: Level, M8, U8, P8], u9: Shape[_ <: Level, M9, U9, P9], u10: Shape[_ <: Level, M10, U10, P10], u11: Shape[_ <: Level, M11, U11, P11], u12: Shape[_ <: Level, M12, U12, P12], u13: Shape[_ <: Level, M13, U13, P13], u14: Shape[_ <: Level, M14, U14, P14], u15: Shape[_ <: Level, M15, U15, P15], u16: Shape[_ <: Level, M16, U16, P16], u17: Shape[_ <: Level, M17, U17, P17], u18: Shape[_ <: Level, M18, U18, P18], u19: Shape[_ <: Level, M19, U19, P19]): Shape[Level, (M1, M2, M3, M4, M5, M6, M7, M8, M9, M10, M11, M12, M13, M14, M15, M16, M17, M18, M19), (U1, U2, U3, U4, U5, U6, U7, U8, U9, U10, U11, U12, U13, U14, U15, U16, U17, U18, U19), (P1, P2, P3, P4, P5, P6, P7, P8, P9, P10, P11, P12, P13, P14, P15, P16, P17, P18, P19)]

final implicit def tuple1Shape[Level <: ShapeLevel, M1, U1, P1](implicit u1: Shape[_ <: Level, M1, U1, P1]): Shape[Level, (M1), (U1), (P1)]

final implicit def tuple20Shape[Level <: ShapeLevel, M1, M2, M3, M4, M5, M6, M7, M8, M9, M10, M11, M12, M13, M14, M15, M16, M17, M18, M19, M20, U1, U2, U3, U4, U5, U6, U7, U8, U9, U10, U11, U12, U13, U14, U15, U16, U17, U18, U19, U20, P1, P2, P3, P4, P5, P6, P7, P8, P9, P10, P11, P12, P13, P14, P15, P16, P17, P18, P19, P20](implicit u1: Shape[_ <: Level, M1, U1, P1], u2: Shape[_ <: Level, M2, U2, P2], u3: Shape[_ <: Level, M3, U3, P3], u4: Shape[_ <: Level, M4, U4, P4], u5: Shape[_ <: Level, M5, U5, P5], u6: Shape[_ <: Level, M6, U6, P6], u7: Shape[_ <: Level, M7, U7, P7], u8: Shape[_ <: Level, M8, U8, P8], u9: Shape[_ <: Level, M9, U9, P9], u10: Shape[_ <: Level, M10, U10, P10], u11: Shape[_ <: Level, M11, U11, P11], u12: Shape[_ <: Level, M12, U12, P12], u13: Shape[_ <: Level, M13, U13, P13], u14: Shape[_ <: Level, M14, U14, P14], u15: Shape[_ <: Level, M15, U15, P15], u16: Shape[_ <: Level, M16, U16, P16], u17: Shape[_ <: Level, M17, U17, P17], u18: Shape[_ <: Level, M18, U18, P18], u19: Shape[_ <: Level, M19, U19, P19], u20: Shape[_ <: Level, M20, U20, P20]): Shape[Level, (M1, M2, M3, M4, M5, M6, M7, M8, M9, M10, M11, M12, M13, M14, M15, M16, M17, M18, M19, M20), (U1, U2, U3, U4, U5, U6, U7, U8, U9, U10, U11, U12, U13, U14, U15, U16, U17, U18, U19, U20), (P1, P2, P3, P4, P5, P6, P7, P8, P9, P10, P11, P12, P13, P14, P15, P16, P17, P18, P19, P20)]

final implicit def tuple21Shape[Level <: ShapeLevel, M1, M2, M3, M4, M5, M6, M7, M8, M9, M10, M11, M12, M13, M14, M15, M16, M17, M18, M19, M20, M21, U1, U2, U3, U4, U5, U6, U7, U8, U9, U10, U11, U12, U13, U14, U15, U16, U17, U18, U19, U20, U21, P1, P2, P3, P4, P5, P6, P7, P8, P9, P10, P11, P12, P13, P14, P15, P16, P17, P18, P19, P20, P21](implicit u1: Shape[_ <: Level, M1, U1, P1], u2: Shape[_ <: Level, M2, U2, P2], u3: Shape[_ <: Level, M3, U3, P3], u4: Shape[_ <: Level, M4, U4, P4], u5: Shape[_ <: Level, M5, U5, P5], u6: Shape[_ <: Level, M6, U6, P6], u7: Shape[_ <: Level, M7, U7, P7], u8: Shape[_ <: Level, M8, U8, P8], u9: Shape[_ <: Level, M9, U9, P9], u10: Shape[_ <: Level, M10, U10, P10], u11: Shape[_ <: Level, M11, U11, P11], u12: Shape[_ <: Level, M12, U12, P12], u13: Shape[_ <: Level, M13, U13, P13], u14: Shape[_ <: Level, M14, U14, P14], u15: Shape[_ <: Level, M15, U15, P15], u16: Shape[_ <: Level, M16, U16, P16], u17: Shape[_ <: Level, M17, U17, P17], u18: Shape[_ <: Level, M18, U18, P18], u19: Shape[_ <: Level, M19, U19, P19], u20: Shape[_ <: Level, M20, U20, P20], u21: Shape[_ <: Level, M21, U21, P21]): Shape[Level, (M1, M2, M3, M4, M5, M6, M7, M8, M9, M10, M11, M12, M13, M14, M15, M16, M17, M18, M19, M20, M21), (U1, U2, U3, U4, U5, U6, U7, U8, U9, U10, U11, U12, U13, U14, U15, U16, U17, U18, U19, U20, U21), (P1, P2, P3, P4, P5, P6, P7, P8, P9, P10, P11, P12, P13, P14, P15, P16, P17, P18, P19, P20, P21)]

final implicit def tuple22Shape[Level <: ShapeLevel, M1, M2, M3, M4, M5, M6, M7, M8, M9, M10, M11, M12, M13, M14, M15, M16, M17, M18, M19, M20, M21, M22, U1, U2, U3, U4, U5, U6, U7, U8, U9, U10, U11, U12, U13, U14, U15, U16, U17, U18, U19, U20, U21, U22, P1, P2, P3, P4, P5, P6, P7, P8, P9, P10, P11, P12, P13, P14, P15, P16, P17, P18, P19, P20, P21, P22](implicit u1: Shape[_ <: Level, M1, U1, P1], u2: Shape[_ <: Level, M2, U2, P2], u3: Shape[_ <: Level, M3, U3, P3], u4: Shape[_ <: Level, M4, U4, P4], u5: Shape[_ <: Level, M5, U5, P5], u6: Shape[_ <: Level, M6, U6, P6], u7: Shape[_ <: Level, M7, U7, P7], u8: Shape[_ <: Level, M8, U8, P8], u9: Shape[_ <: Level, M9, U9, P9], u10: Shape[_ <: Level, M10, U10, P10], u11: Shape[_ <: Level, M11, U11, P11], u12: Shape[_ <: Level, M12, U12, P12], u13: Shape[_ <: Level, M13, U13, P13], u14: Shape[_ <: Level, M14, U14, P14], u15: Shape[_ <: Level, M15, U15, P15], u16: Shape[_ <: Level, M16, U16, P16], u17: Shape[_ <: Level, M17, U17, P17], u18: Shape[_ <: Level, M18, U18, P18], u19: Shape[_ <: Level, M19, U19, P19], u20: Shape[_ <: Level, M20, U20, P20], u21: Shape[_ <: Level, M21, U21, P21], u22: Shape[_ <: Level, M22, U22, P22]): Shape[Level, (M1, M2, M3, M4, M5, M6, M7, M8, M9, M10, M11, M12, M13, M14, M15, M16, M17, M18, M19, M20, M21, M22), (U1, U2, U3, U4, U5, U6, U7, U8, U9, U10, U11, U12, U13, U14, U15, U16, U17, U18, U19, U20, U21, U22), (P1, P2, P3, P4, P5, P6, P7, P8, P9, P10, P11, P12, P13, P14, P15, P16, P17, P18, P19, P20, P21, P22)]

final implicit def tuple2Shape[Level <: ShapeLevel, M1, M2, U1, U2, P1, P2](implicit u1: Shape[_ <: Level, M1, U1, P1], u2: Shape[_ <: Level, M2, U2, P2]): Shape[Level, (M1, M2), (U1, U2), (P1, P2)]

final implicit def tuple3Shape[Level <: ShapeLevel, M1, M2, M3, U1, U2, U3, P1, P2, P3](implicit u1: Shape[_ <: Level, M1, U1, P1], u2: Shape[_ <: Level, M2, U2, P2], u3: Shape[_ <: Level, M3, U3, P3]): Shape[Level, (M1, M2, M3), (U1, U2, U3), (P1, P2, P3)]

final implicit def tuple4Shape[Level <: ShapeLevel, M1, M2, M3, M4, U1, U2, U3, U4, P1, P2, P3, P4](implicit u1: Shape[_ <: Level, M1, U1, P1], u2: Shape[_ <: Level, M2, U2, P2], u3: Shape[_ <: Level, M3, U3, P3], u4: Shape[_ <: Level, M4, U4, P4]): Shape[Level, (M1, M2, M3, M4), (U1, U2, U3, U4), (P1, P2, P3, P4)]

final implicit def tuple5Shape[Level <: ShapeLevel, M1, M2, M3, M4, M5, U1, U2, U3, U4, U5, P1, P2, P3, P4, P5](implicit u1: Shape[_ <: Level, M1, U1, P1], u2: Shape[_ <: Level, M2, U2, P2], u3: Shape[_ <: Level, M3, U3, P3], u4: Shape[_ <: Level, M4, U4, P4], u5: Shape[_ <: Level, M5, U5, P5]): Shape[Level, (M1, M2, M3, M4, M5), (U1, U2, U3, U4, U5), (P1, P2, P3, P4, P5)]

final implicit def tuple6Shape[Level <: ShapeLevel, M1, M2, M3, M4, M5, M6, U1, U2, U3, U4, U5, U6, P1, P2, P3, P4, P5, P6](implicit u1: Shape[_ <: Level, M1, U1, P1], u2: Shape[_ <: Level, M2, U2, P2], u3: Shape[_ <: Level, M3, U3, P3], u4: Shape[_ <: Level, M4, U4, P4], u5: Shape[_ <: Level, M5, U5, P5], u6: Shape[_ <: Level, M6, U6, P6]): Shape[Level, (M1, M2, M3, M4, M5, M6), (U1, U2, U3, U4, U5, U6), (P1, P2, P3, P4, P5, P6)]

final implicit def tuple7Shape[Level <: ShapeLevel, M1, M2, M3, M4, M5, M6, M7, U1, U2, U3, U4, U5, U6, U7, P1, P2, P3, P4, P5, P6, P7](implicit u1: Shape[_ <: Level, M1, U1, P1], u2: Shape[_ <: Level, M2, U2, P2], u3: Shape[_ <: Level, M3, U3, P3], u4: Shape[_ <: Level, M4, U4, P4], u5: Shape[_ <: Level, M5, U5, P5], u6: Shape[_ <: Level, M6, U6, P6], u7: Shape[_ <: Level, M7, U7, P7]): Shape[Level, (M1, M2, M3, M4, M5, M6, M7), (U1, U2, U3, U4, U5, U6, U7), (P1, P2, P3, P4, P5, P6, P7)]

final implicit def tuple8Shape[Level <: ShapeLevel, M1, M2, M3, M4, M5, M6, M7, M8, U1, U2, U3, U4, U5, U6, U7, U8, P1, P2, P3, P4, P5, P6, P7, P8](implicit u1: Shape[_ <: Level, M1, U1, P1], u2: Shape[_ <: Level, M2, U2, P2], u3: Shape[_ <: Level, M3, U3, P3], u4: Shape[_ <: Level, M4, U4, P4], u5: Shape[_ <: Level, M5, U5, P5], u6: Shape[_ <: Level, M6, U6, P6], u7: Shape[_ <: Level, M7, U7, P7], u8: Shape[_ <: Level, M8, U8, P8]): Shape[Level, (M1, M2, M3, M4, M5, M6, M7, M8), (U1, U2, U3, U4, U5, U6, U7, U8), (P1, P2, P3, P4, P5, P6, P7, P8)]

final implicit def tuple9Shape[Level <: ShapeLevel, M1, M2, M3, M4, M5, M6, M7, M8, M9, U1, U2, U3, U4, U5, U6, U7, U8, U9, P1, P2, P3, P4, P5, P6, P7, P8, P9](implicit u1: Shape[_ <: Level, M1, U1, P1], u2: Shape[_ <: Level, M2, U2, P2], u3: Shape[_ <: Level, M3, U3, P3], u4: Shape[_ <: Level, M4, U4, P4], u5: Shape[_ <: Level, M5, U5, P5], u6: Shape[_ <: Level, M6, U6, P6], u7: Shape[_ <: Level, M7, U7, P7], u8: Shape[_ <: Level, M8, U8, P8], u9: Shape[_ <: Level, M9, U9, P9]): Shape[Level, (M1, M2, M3, M4, M5, M6, M7, M8, M9), (U1, U2, U3, U4, U5, U6, U7, U8, U9), (P1, P2, P3, P4, P5, P6, P7, P8, P9)]