bali-phy: Error! gadt strict field forced
