Function parse_expression 

pub fn parse_expression(
    input: Cid,
    defs: Rc<RefCell<Defs>>,
    rec: Option<Name>,
    ctx: Ctx,
    quasi: Rc<VecDeque<Term>>,
) -> impl Fn(Span<'_>) -> IResult<Span<'_>, Term, ParseError<Span<'_>>>

Parse an expression which is an application sequence with a possible type annotation f a b c :: F A B C