Type families for Agent and Action.