Tony Morris

@bitemyapp Yes, I believe they are unnecessary extra complexity

@GabrielG439 what am I supposed to do if the empty list case isn't legal in my program?

@bitemyapp Use a list which indexes the length or the minimum length in the type

@GabrielG439 that's arbitrary, unprincipled, and has no real relationship to the algebra at all.

@bitemyapp You can do the same thing with a minimum bound on the length

@GabrielG439 again, fetishizing and focusing on the wrong things.

@GabrielG439 length is irrelevant to the algebra. It's not *real*.

@bitemyapp There is no substance to any of your arguments other than "You are wrong because I deem it so"