tuples, fst and snd only work on pairs
the rest, you need to do yourself
zip
check if valid triangle
1. check triangle validity
2. generate right angle triangles