module EatFloat : Eatable with type t = float = struct
  type t = float
  let eat f = Printf.printf "I'm eating %f\n%!" f
end