data types: TaggedPosition, Maybe ...