fix type errors in then and convert combinators