Apparently this lays the ground work for the full proposal of Shapes

Aka typeclasses