Just Code: failing to failed... a better way to do type-level error