:type ++ :core (/) {a=Double} :doc + :wc + :printdef - :patt / / ++ :whnf /