the-type 0.9.0

helps specifying type within the expression, i.e. type annotation or type ascription.
Documentation