-- <length> type instance Homotuple <length> a = <homotuple> instance IsList <homotuple> where type Item <homotuple> = a fromList <list> = <tuple> fromList _ = errorLengthMismatch toList <tuple> = <list>