Some Known Rough Edges Partial Type Checking Standard Library Documentation Testing Library Red Black Tree List / Ssslice Tuple accessors on parameters Conditional Effects