kvb

      computer programmer
    - man
    + woman
    ---------------------
    = homemaker

  let (fun o -> o.x) { x = { x = 1 } }

    twice : forall a,b,c. ((a->b)&(b->c)) -> a -> c

    twice (fun x -> x::[]) 1

    (rec a = (a list | int) list)

    (int list) list

)