--------------------------------------------------------------
--                          exports                         --
--------------------------------------------------------------

known :: Repr -> Position -> Error
known k p = Error k (Known p)
known :: Repr -> Position -> Error
known k p = Error k (Known p)
known k p = Error k (Known p)