pub fn find<'ast, T>( env: &T, source_span: Span<BytePos>, expr: &SpannedExpr<'ast, Symbol>, pos: BytePos ) -> Result<Either<ArcKind, ArcType>, ()>where T: TypeEnv<Type = ArcType>,