implemented quoted types