bali-phy: Error! Term '[(-(2 + 3))]' of type 'List<a#9>' cannot be converted to type 'Double'
