To be honest, I'd rather not restrict the flexibility with further explicit type checking.