Dynamic optimization for functional reactive programming using generalized algebraic data types