- | Helper function to extract the type from an expression.
getType :: Expr 'Checked -> Type 'Checked
getType = fromJust . etype

getType :: Expr 'Checked -> Type 'Checked
getType = fromJust . etype
getType = fromJust . etype