function compile(str, env) {
  env = env ? utils.merge(environment, env) : environment;
  return typify.parseTypify(env, str);
}
- `compile(desc: string, env: typeEnv?): arbitrary a`

      Compile the type description in provided type environment, or default one.