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