playground with documentation by tcomb-doc