typeOfExpr :: Expr env a -> a
typeOfExpr = error "DNA.AST.typeOfExpr: Impossible!"
typeOfExpr :: Expr env a -> a
typeOfExpr = error "DNA.AST.typeOfExpr: Impossible!"
typeOfExpr = error "DNA.AST.typeOfExpr: Impossible!"