Playing with type-system driven N+1 prevention