gadt_lang.ml

type _ expr = Int : int -> int expr | Float : float -> float expr

type any_expr = Any : 'a expr -> any_expr

type _ ty = TyInt : int ty | TyFloat : float ty

let rec eval : type a . a expr -> a = function
  | Int i -> i
  | Float f -> f

let rec typeof : type a . a expr -> a ty = function
  | Int i -> TyInt
  | Float f -> TyFloat

let rec print : type a . a -> a ty -> unit =
  fun value ty ->
    match ty with
    | TyInt -> print_int value
    | TyFloat -> print_float value

let eval_and_print (Any e) =
  print (eval e) (typeof e)