Fix some stuff at Triangle.hs