Text.Boomerang.Pos
type family Pos err :: *
class InitialPosition e
class ErrorPosition err
data MajorMinorPos
incMajor
incMinor