-- <length>-tuple
type instance Length <tuple> = <length>