getPosition :: Expr -> Position
getPosition (Fix e) =
  case e of
    (Lambda pos _ _) -> pos
    (Pi     pos _ _) -> pos
    (Arrow  pos _ _ _) -> pos
    (App    pos _ _ _) -> pos
    (Var    pos _) -> pos
    (Universe pos _) -> pos


-- | File position
getPosition :: Expr -> Position
getPosition (Fix e) =
  case e of
    (Lambda pos _ _) -> pos
    (Pi     pos _ _) -> pos
    (Arrow  pos _ _ _) -> pos
    (App    pos _ _ _) -> pos
    (Var    pos _) -> pos
    (Universe pos _) -> pos


-- | File position
getPosition (Fix e) =
  case e of
    (Lambda pos _ _) -> pos
    (Pi     pos _ _) -> pos
    (Arrow  pos _ _ _) -> pos
    (App    pos _ _ _) -> pos
    (Var    pos _) -> pos
    (Universe pos _) -> pos


-- | File position