main' = 
    let
      id' = \x -> x
    in (id' 4.0, id' True)