a |-> Int