let Padding : Type = < Left | Right | Sides > in Padding