class Pos -> case class Pos

Apparently non-case classes with identically contents will yield `false`
when compared with `==`. I need to find out what case classes are in general.