Type check defaults against outputs in condact