Monadify typecheck/TcDeriv: use return