I have a function that accepts the types defined in A as an argument, but I want to make the typing mor